|
Size: 2809
Comment:
|
Size: 2870
Comment:
|
| 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 p-adics''' * 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 12-17, 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 semi-algebraic sets and lift and project problems for linear and semi-definite programming.
Daily schedule
Tuesday, June 12
- 9-12: (optional) early-bird coffee, bagels, etc.
- 12-1 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
- 9-12: (optional) early-bird coffee, bagels, etc.
- 12-1 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
- 9-12: (optional) early-bird coffee, bagels, etc.
- 12-1 lunch at a designated restaurant
1:30 - 2:30 David Roe: The New Improved p-adics
- 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
- 9-12: (optional) early-bird coffee, bagels, etc.
- 12-1 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
- 9-12: (optional) early-bird coffee, bagels, etc.
- 12-1 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 semi-algebraic sets and lift and project problems for linear and semi-definite 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
- 9-12: (optional) early-bird coffee, bagels, etc.
- 12-1 lunch at a designated restaurant
1:30 - 2:30 Chuck Doran (UW Math): Lattice Polytopes and Geometry
- 3:00 - 6:00 Wrap-up sessions; results of coding sprints