Differences between revisions 13 and 14
Revision 13 as of 2007-05-25 00:17:48
Size: 535
Editor: wstein
Comment:
Revision 14 as of 2007-05-25 00:32:29
Size: 658
Editor: wstein
Comment:
Deletions are marked like this. Additions are marked like this.
Line 31: Line 31:
 * Paule Beame (June 16 at 3pm)  * Paul Beame (June 16 at 3pm): ''Proof complexity involving semi-algebraic sets and lift and project problems for linear and semi-definite programming.''

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 (TBA)
  • Charles Doran (June 17 at 11am)
  • Randy Leveque (TBA)
  • Jim Morrow
  • Paul Beame (June 16 at 3pm): Proof complexity involving semi-algebraic sets and lift and project problems for linear and semi-definite programming.

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