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