|
Size: 3688
Comment:
|
Size: 4251
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 3: | Line 3: |
| William Stein's cell phone is 206-290-6427. |
|
| Line 4: | Line 6: |
| * 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.''' |
* Sara Billey (UW Math) * Henry Cohn (Microsoft Research) * Charles Doran (UW Math) * Randy Leveque (UW Applied Math) * Jim Morrow (UW Math) * Paul Beame (UW Computer Science) * Carl Witty ([http://www.newtonlabs.com/ Newton Labs]) |
| Line 13: | Line 16: |
| [attachment:sagedays4-schedule.pdf The Schedule in a printable PDF grid] |
|
| Line 14: | Line 19: |
| * [http://www.washington.edu/home/maps/northcentral.html?MEB MEB] (Mechanical Engineering Building) Room 328, 7:00am-10:00pm | * [http://www.washington.edu/home/maps/northcentral.html?MEB MEB] (Mechanical Engineering Building) Room 238, 7:00am-10:00pm |
| Line 20: | Line 25: |
| Unless otherwise stated, the daytime (talks and sprints before dinner) sessions will take place in MEB 328, and late-night coding sprints will take place in one of the above Padelford locations and the SAGE Lab, provided we have at least one person in Sieg after it closes. | Unless otherwise stated, everything 7am - 10pm will take place in MEB 238. Later-night coding sprints will take place in one of the above Padelford locations or the SAGE Lab (provided we have at least one person in Sieg after it closes). |
| Line 25: | Line 30: |
| * 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) |
* 12-1 lunch at Thai 65 (4214 University Way NE) * 1:30 - 2:30 William Stein -- '''State of the SAGE project''' [attachment:stein-status.pdf Slides] * 3:00 - 4:00 Randy Leveque (UW Applied Math): What SAGE needs to be useful to applied mathematics [attachment:leveque.pdf Slides] |
| Line 36: | Line 41: |
| * 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 |
* 12-1 lunch at Chipotle (4229 University Way NE) * 1:30 - 2:30 David Harvey (Harvard Math): '''FLINT and Fast Polynomial Arithmetic''' [attachment:flint-talk.pdf Slides] * 3:00 - 4:00 Henry Cohn (Microsoft Research) -- '''Features I wish SAGE had''' [:days4schedule/cohn: Notes] |
| Line 40: | Line 45: |
| * 5:00 - 7:00 coding sprints | * 5:00 - 5:15 Robert Miller -- lightning demo of graph isomorphism algorithm [http://students.washington.edu/rlmill/talks/nauty.pdf old slides] * 5:00 - 7:00 coding sprints |
| Line 47: | Line 53: |
| * 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) |
* 12-1 lunch at araya's vegan thai (1121 NE 45th st) * 1:30 - 2:30 David Roe: '''The New Improved p-adics''' [attachment:roe.pdf Slides] * 3:00 - 4:00 Jim Morrow (UW Math): '''Graph theory and electrical networks.''' [attachment:morrow.pdf Slides] |
| Line 58: | Line 64: |
| * 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) |
* 12-1 lunch at A Burger Place (4234 University Way NE) * 1:30 - 2:30 Robert Bradshaw: '''Why SageX is not Pyrex''' [attachment:SageX.pdf Slides] [attachment:sagex-not-pyrex.sws worksheet] * 3:00 - 4:00 Sara Billey (UW Math): [:sara/days4/abstract: A Computational Approach to Schubert Varieties] [attachment:billey.pdf Slides] |
| Line 69: | Line 75: |
| * 12-1 lunch at a designated restaurant * 1:30 - 2:30 Carl Witty (Newton Research Labs): '''Fast real root isolation''' (tentative) |
* 12-1 lunch at Ichiro Japanese Restaurant (4124 University Way NE) * 1:30 - 2:30 Carl Witty (Newton Research Labs): '''Fast real root isolation''' [attachment:witty.pdf Slides] |
| Line 80: | Line 86: |
| * 12-1 lunch at a designated restaurant | * 12-1 lunch at Thai 65 (4214 University Way NE) |
Schedule for [:days4: SAGE Days 4], which is June 12-17, 2007.
William Stein's cell phone is 206-290-6427.
Invited Colloquium Speakers
- Sara Billey (UW Math)
- Henry Cohn (Microsoft Research)
- Charles Doran (UW Math)
- Randy Leveque (UW Applied Math)
- Jim Morrow (UW Math)
- Paul Beame (UW Computer Science)
Carl Witty ([http://www.newtonlabs.com/ Newton Labs])
Daily schedule
[attachment:sagedays4-schedule.pdf The Schedule in a printable PDF grid]
We have the following locations reserved:
[http://www.washington.edu/home/maps/northcentral.html?MEB MEB] (Mechanical Engineering Building) Room 238, 7:00am-10:00pm
[http://www.washington.edu/home/maps/northcentral.html?PDL PDL] (Padelford) Room C36, late
- PDL C401, late
- William's Office: PDL C423, all hours (very very low occupancy)
SAGE Lab: [http://www.washington.edu/home/maps/northcentral.html?SIG SIG] (Sieg Hall) 312, all building hours (UW people have keys to room door, but our key card access is inactive)
Unless otherwise stated, everything 7am - 10pm will take place in MEB 238. Later-night coding sprints will take place in one of the above Padelford locations or the SAGE Lab (provided we have at least one person in Sieg after it closes).
Tuesday, June 12
- 9-12: (optional) early-bird coffee, bagels, etc.
- 12-1 lunch at Thai 65 (4214 University Way NE)
1:30 - 2:30 William Stein -- State of the SAGE project [attachment:stein-status.pdf Slides]
- 3:00 - 4:00 Randy Leveque (UW Applied Math): What SAGE needs to be useful to applied mathematics [attachment:leveque.pdf Slides]
- 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 Chipotle (4229 University Way NE)
1:30 - 2:30 David Harvey (Harvard Math): FLINT and Fast Polynomial Arithmetic [attachment:flint-talk.pdf Slides]
3:00 - 4:00 Henry Cohn (Microsoft Research) -- Features I wish SAGE had [:days4schedule/cohn: Notes]
- 4:30 - 5:00 strategy session
5:00 - 5:15 Robert Miller -- lightning demo of graph isomorphism algorithm [http://students.washington.edu/rlmill/talks/nauty.pdf old slides]
- 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 araya's vegan thai (1121 NE 45th st)
1:30 - 2:30 David Roe: The New Improved p-adics [attachment:roe.pdf Slides]
3:00 - 4:00 Jim Morrow (UW Math): Graph theory and electrical networks. [attachment:morrow.pdf Slides]
- 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 Burger Place (4234 University Way NE)
1:30 - 2:30 Robert Bradshaw: Why SageX is not Pyrex [attachment:SageX.pdf Slides] [attachment:sagex-not-pyrex.sws worksheet]
- 3:00 - 4:00 Sara Billey (UW Math): [:sara/days4/abstract: A Computational Approach to Schubert Varieties] [attachment:billey.pdf Slides]
- 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 Ichiro Japanese Restaurant (4124 University Way NE)
1:30 - 2:30 Carl Witty (Newton Research Labs): Fast real root isolation [attachment:witty.pdf Slides]
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 Thai 65 (4214 University Way NE)
1:30 - 2:30 Chuck Doran (UW Math): Lattice Polytopes and Geometry
- 3:00 - 6:00 Wrap-up sessions; results of coding sprints