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**Slides3: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**Slides3: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**Slides3: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 worksheet3: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**Slides3: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