2809
Comment:

2870

Deletions are marked like this.  Additions are marked like this. 
Line 18:  Line 18: 
* 3:00  4:00 talk on what SAGE needs in order to improve  * 3:00  4:00 Jim Morrow (UW Math): '''Graph theory and electrical networks.''' (time not confirmed) 
Line 39:  Line 39: 
* 1:30  2:30 talk on improvements made to SAGE * 3:00  4:00 talk on what SAGE needs in order to improve 
* 1:30  2:30 David Roe: '''The New Improved padics''' * 3:00  4:00 Randy Leveque (UW Applied Math): TBA (time not confirmed) 
Line 50:  Line 50: 
* 1:30  2:30 talk on improvements made to SAGE * 3:00  4:00 talk on what SAGE needs in order to improve 
* 1:30  2:30 Robert Bradshaw: TBA * 3:00  4:00 Sarah Billey (UW Math): TBA (time not yet confirmed) 
Schedule for [:days4: SAGE Days 4], which is June 1217, 2007.
Invited Colloquium Speakers
 Sarah Billey (UW Math): TBA
 Henry Cohn (Microsoft Research, June 13): TBA
 Charles Doran (UW Math, June 17 at 11am): TBA
 Randy Leveque (UW Applied Math): TBA
Jim Morrow (UW Math): Graph theory and electrical networks.
Paul Beame (UW Computer Science): Proof complexity involving semialgebraic sets and lift and project problems for linear and semidefinite programming.
Daily schedule
Tuesday, June 12
 912: (optional) earlybird coffee, bagels, etc.
 121 lunch at a designated restaurant
1:30  2:30 William Stein  State of the SAGE project
3:00  4:00 Jim Morrow (UW Math): Graph theory and electrical networks. (time not confirmed)
 4:30  5:00 strategy session
 5:00  7:00 coding sprints
 7:00  9:00 dinner
 9:00  very late: coding sprints
Wednesday, June 13
 912: (optional) earlybird coffee, bagels, etc.
 121 lunch at a designated restaurant
1:30  2:30 David Harvey (Harvard Math): FLINT and Fast Polynomial Arithmetic
 3:00  4:00 Henry Cohn (Microsoft Research)  colloquium talk
 4:30  5:00 strategy session
 5:00  7:00 coding sprints
 7:00  9:00 dinner
 9:00  very late: coding sprints
Thursday, June 14
 912: (optional) earlybird coffee, bagels, etc.
 121 lunch at a designated restaurant
1:30  2:30 David Roe: The New Improved padics
 3:00  4:00 Randy Leveque (UW Applied Math): TBA (time not confirmed)
 4:30  5:00 strategy session
 5:00  7:00 coding sprints
 7:00  9:00 dinner
 9:00  very late: coding sprints
Friday, June 15
 912: (optional) earlybird coffee, bagels, etc.
 121 lunch at a designated restaurant
 1:30  2:30 Robert Bradshaw: TBA
 3:00  4:00 Sarah Billey (UW Math): TBA (time not yet confirmed)
 4:30  5:00 strategy session
 5:00  7:00 coding sprints
 7:00  9:00 dinner
 9:00  very late: coding sprints
Saturday, June 16
 912: (optional) earlybird coffee, bagels, etc.
 121 lunch at a designated restaurant
1:30  2:30 Carl Witty (Newton Research Labs): Fast real root isolation (tentative)
3:00  4:00 Paul Beame (UW Computer Science): Proof complexity involving semialgebraic sets and lift and project problems for linear and semidefinite programming.
 4:30  5:00 strategy session
 5:00  7:00 coding sprints
 7:00  9:00 dinner
 9:00  very very late: coding sprints
Sunday, June 17
 912: (optional) earlybird coffee, bagels, etc.
 121 lunch at a designated restaurant
1:30  2:30 Chuck Doran (UW Math): Lattice Polytopes and Geometry
 3:00  6:00 Wrapup sessions; results of coding sprints