Differences between revisions 15 and 16
Revision 15 as of 2007-05-25 02:53:50
Size: 815
Editor: wstein
Comment:
Revision 16 as of 2007-05-25 17:14:03
Size: 882
Editor: wstein
Comment:
Deletions are marked like this. Additions are marked like this.
Line 6: Line 6:
Line 8: Line 7:
Line 10: Line 8:
Line 12: Line 9:
Line 14: Line 10:
Line 16: Line 11:
Line 18: Line 12:
Line 24: Line 17:
Line 26: Line 18:
Line 28: Line 19:
Line 30: Line 20:
Line 32: Line 21:
Line 34: Line 22:
 * Carl Witty (Newton Research Labs, June 16): '''Fast real root isolation''' (tentative)

Daily schedule

Schedule for [:days4: SAGE Days 4].

9-12: (optional) early-bird coffee, bagels, etc. 12-1 lunch at a designated restaurant 1:30 - 2:30 talk on improvements made to SAGE 3:00 - 4:00 talk on what SAGE needs in order to improve 4:30 - 5:00 strategy session 5:00 - 7:00 coding sprints 7:00 - 9:00 dinner 9:00 - very late: coding sprints

Talks

  • Sarah Billey (UW Math): TBA
  • Henry Cohn (Microsoft Research, June 13): TBA
  • Charles Doran (UW Math, June 17 at 11am)
  • Randy Leveque (UW Applied Math): TBA
  • Jim Morrow (UW Math): Graph theory and electrical networks.
  • Paul Beame (UW Computer Science, June 16 at 3pm): Proof complexity involving semi-algebraic sets and lift and project problems for linear and semi-definite programming.

  • Carl Witty (Newton Research Labs, June 16): Fast real root isolation (tentative)

days4schedule (last edited 2008-11-14 13:42:10 by localhost)