|
Size: 815
Comment:
|
Size: 882
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 6: | Line 6: |
| Line 8: | Line 7: |
| Line 10: | Line 8: |
| Line 12: | Line 9: |
| Line 14: | Line 10: |
| Line 16: | Line 11: |
| Line 18: | Line 12: |
| Line 24: | Line 17: |
| Line 26: | Line 18: |
| Line 28: | Line 19: |
| Line 30: | Line 20: |
| Line 32: | Line 21: |
| Line 34: | Line 22: |
| * Carl Witty (Newton Research Labs, June 16): '''Fast real root isolation''' (tentative) |
Daily schedule
Schedule for [:days4: SAGE Days 4].
9-12: (optional) early-bird coffee, bagels, etc. 12-1 lunch at a designated restaurant 1:30 - 2:30 talk on improvements made to SAGE 3:00 - 4:00 talk on what SAGE needs in order to improve 4:30 - 5:00 strategy session 5:00 - 7:00 coding sprints 7:00 - 9:00 dinner 9:00 - very late: coding sprints
Talks
- Sarah Billey (UW Math): TBA
- Henry Cohn (Microsoft Research, June 13): TBA
- Charles Doran (UW Math, June 17 at 11am)
- Randy Leveque (UW Applied Math): TBA
- Jim Morrow (UW Math): Graph theory and electrical networks.
Paul Beame (UW Computer Science, June 16 at 3pm): Proof complexity involving semi-algebraic sets and lift and project problems for linear and semi-definite programming.
Carl Witty (Newton Research Labs, June 16): Fast real root isolation (tentative)