Differences between revisions 24 and 25
Revision 24 as of 2007-05-25 18:22:54
Size: 2809
Editor: wstein
Comment:
Revision 25 as of 2007-05-25 18:25:20
Size: 2870
Editor: wstein
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

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