4208
Comment:

4251

Deletions are marked like this.  Additions are marked like this. 
Line 65:  Line 65: 
* 1:30  2:30 Robert Bradshaw: '''Why SageX is not Pyrex''' [attachment:SageX.pdf Slides]  * 1:30  2:30 Robert Bradshaw: '''Why SageX is not Pyrex''' [attachment:SageX.pdf Slides] [attachment:sagexnotpyrex.sws worksheet] 
Schedule for [:days4: SAGE Days 4], which is June 1217, 2007.
William Stein's cell phone is 2062906427.
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:sagedays4schedule.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:00am10: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. Laternight 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
 912: (optional) earlybird coffee, bagels, etc.
 121 lunch at Thai 65 (4214 University Way NE)
1:30  2:30 William Stein  State of the SAGE project [attachment:steinstatus.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
 912: (optional) earlybird coffee, bagels, etc.
 121 lunch at Chipotle (4229 University Way NE)
1:30  2:30 David Harvey (Harvard Math): FLINT and Fast Polynomial Arithmetic [attachment:flinttalk.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
 912: (optional) earlybird coffee, bagels, etc.
 121 lunch at araya's vegan thai (1121 NE 45th st)
1:30  2:30 David Roe: The New Improved padics [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
 912: (optional) earlybird coffee, bagels, etc.
 121 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:sagexnotpyrex.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
 912: (optional) earlybird coffee, bagels, etc.
 121 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 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 Thai 65 (4214 University Way NE)
1:30  2:30 Chuck Doran (UW Math): Lattice Polytopes and Geometry
 3:00  6:00 Wrapup sessions; results of coding sprints