Differences between revisions 13 and 61 (spanning 48 versions)
Revision 13 as of 2007-05-25 00:17:48
Size: 535
Editor: wstein
Comment:
Revision 61 as of 2008-11-14 13:42:10
Size: 4284
Editor: anonymous
Comment: converted to 1.6 markup
Deletions are marked like this. Additions are marked like this.
Line 1: Line 1:
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]])
Line 3: Line 16:
Schedule for [:days4: SAGE Days 4]. [[attachment:sagedays4-schedule.pdf|The Schedule in a printable PDF grid]]
Line 5: Line 18:
9-12: (optional) early-bird coffee, bagels, etc. 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)
Line 7: Line 25:
12-1 lunch at a designated restaurant 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 9: Line 27:
1:30 - 2:30 talk on improvements made to SAGE == Tuesday, June 12 ==
Line 11: Line 29:
3:00 - 4:00 talk on what SAGE needs in order to improve  * 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
Line 13: Line 38:
4:30 - 5:00 strategy session == Wednesday, June 13 ==
Line 15: Line 40:
5:00 - 7:00 coding sprints  * 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
Line 17: Line 50:
7:00 - 9:00 dinner == Thursday, June 14 ==
Line 19: Line 52:
9:00 - very late: coding sprints  * 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
Line 21: Line 61:
= Talks = == Friday, June 15 ==
Line 23: Line 63:
 * Sarah Billey (TBA)  * 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
Line 25: Line 72:
 * Charles Doran (June 17 at 11am) == Saturday, June 16 ==
Line 27: Line 74:
 * Randy Leveque (TBA)  * 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
Line 29: Line 83:
 * Jim Morrow == Sunday, June 17 ==
Line 31: Line 85:
 * Paule Beame (June 16 at 3pm)  * 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
 

Schedule for 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 (Newton Labs)

Daily schedule

The Schedule in a printable PDF grid

We have the following locations reserved:

  • MEB (Mechanical Engineering Building) Room 238, 7:00am-10:00pm

  • PDL (Padelford) Room C36, late

  • PDL C401, late
  • William's Office: PDL C423, all hours (very very low occupancy)
  • SAGE Lab: 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 Slides

  • 3:00 - 4:00 Randy Leveque (UW Applied Math): What SAGE needs to be useful to applied mathematics 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 Slides

  • 3:00 - 4:00 Henry Cohn (Microsoft Research) -- Features I wish SAGE had Notes

  • 4:30 - 5:00 strategy session
  • 5:00 - 5:15 Robert Miller -- lightning demo of graph isomorphism algorithm 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 Slides

  • 3:00 - 4:00 Jim Morrow (UW Math): Graph theory and electrical networks. 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 Slides worksheet

  • 3:00 - 4:00 Sara Billey (UW Math): A Computational Approach to Schubert Varieties 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 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

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