3954
Comment:

3941

Deletions are marked like this.  Additions are marked like this. 
Line 1:  Line 1: 
== Daily schedule ==  Schedule for [:days4: SAGE Days 4], which is June 1217, 2007. 
Line 3:  Line 3: 
912: (optional) earlybird coffee, bagels, etc.  William Stein's cell phone is 2062906427. 
Line 5:  Line 5: 
121 lunch at a designated restaurant  == Invited Colloquium Speakers == * Sarah Billey (UW Math) * Henry Cohn (Microsoft Research, June 13) * Charles Doran (UW Math, June 17 at 11am) * Randy Leveque (UW Applied Math) * Jim Morrow (UW Math) * Paul Beame (UW Computer Science) 
Line 7:  Line 13: 
1:30  2:30 talk on improvements made to SAGE  = Daily schedule = 
Line 9:  Line 15: 
3:00  4:00 talk on what SAGE needs in order to improve  [attachment:sagedays4schedule.pdf The Schedule in a printable PDF grid] 
Line 11:  Line 17: 
4:30  5:00 strategy session  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) 
Line 13:  Line 24: 
5:00  7:00 coding sprints  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). 
Line 15:  Line 26: 
7:00  9:00 dinner  == Tuesday, June 12 == 
Line 17:  Line 28: 
9:00  very late: coding sprints  * 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 
Line 19:  Line 37: 
== Individual Projects ==  == Wednesday, June 13 == 
Line 21:  Line 39: 
* Nick Alexander: I'd like to implement some basic linear algebra over Z/nZ, following perhaps ``Algorithms for Linear Algebra Problems over Principal Ideal Rings'' (1996), Johannes Buchmann, Stefan Neis at http://citeseer.ist.psu.edu/719844.html. I'm also very interested in working on the commutative diagram coercion model proposed by David Roe.  * 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''' * 3:00  4:00 Henry Cohn (Microsoft Research)  '''Features I wish SAGE had''' * 4:30  5:00 strategy session * 5:00  5:30 (at the longest) Robert Miller  lightning demo of graph isomorphism algorithm * 5:00  7:00 coding sprints * 7:00  9:00 dinner * 9:00  very late: coding sprints 
Line 23:  Line 49: 
* David Joyner: I'm interested in adding functionality to the group theory functionality in SAGE. I'm also interested in coding theory and in particular Robert Miller's work on (now GPL'd) Leon's partition backtracking programs.  == Thursday, June 14 == 
Line 25:  Line 51: 
* pAdic Arithmetic: Design and implement highly optimized algorithms for arithmetic with padic numbers. The current implementation is already extensive, containing a wide range of different models of padic arithmetic (capped relative, capped absolute, lazy, extensions, etc.) but many new algorithms need to be developed, especially for arithmetic with polynomials over the padics, for padic linear algebra, for computing in the lattice of extensions of a padic ring, and for computing with completions of a number field. (This project started at SAGE Days 2, and has been very actively pursued, especially by David Roe during the last 7 months.)  * 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''' * 3:00  4:00 Jim Morrow (UW Math): '''Graph theory and electrical networks.''' * 4:30  5:00 strategy session * 5:00  7:00 coding sprints * 7:00  9:00 dinner * 9:00  very late: coding sprints 
Line 27:  Line 60: 
* Applications of MonskyWashnitzer Cohomology: Investigate algorithms for fast point counting on elliptic and hyperelliptic curves, computation of padic height pairings, and computations of padic Coleman integrals. This project began in 2006 at an MSRI workshop, and has been an active area of work during the last year by Kiran Kedlaya, David Harvey, and Robert Bradshaw. In particular, Harvey has recently developed new algorithms that will be explored at the workshop, which allow for new efficient point counting on Jacobians of hyperelliptic curves, Bradshaw and Kedlaya have implemented Coleman integration which has application to the study of rational points on curves, and Stein has been investigating padic analogues of the Birch and SwinnertonDyer conjecture in many new cases using a new algorithm for computing padic heights.  == Friday, June 15 == 
Line 29:  Line 62: 
* Quaternion Algebra Arithmetic and Modular Forms: Create and implement algorithms for efficient arithmetic in quaternion algebras, and apply this work to computation of Hecke operators, modular forms, Tamagawa numbers of modular abelian varieties, and enumeration of elliptic curves of large conductor. Gonzalo Tornaria has long worked in this area, and William Stein is working with David Kohel and Lassina Dembele on the design of better algorithms.  * 912: (optional) earlybird coffee, bagels, etc. * 121 lunch at A Burger Place (4234 University Way NE) * 1:30  2:30 Robert Bradshaw: '''Compiled Sage: What I did to improve it''' * 3:00  4:00 Sara Billey (UW Math): [:sara/days4/abstract: A Computational Approach to Schubert Varieties] * 4:30  5:00 strategy session * 5:00  7:00 coding sprints * 7:00  9:00 dinner * 9:00  very late: coding sprints 
Line 31:  Line 71: 
* Distributed Parallel Computation: Continuing a major trend started at the MSRI workshop in January 2007 on parallel computation, participants will design algorithms for parallel distributed integer factorization, computation of Hecke eigenvalues, and other algorithms. In particular, participants will explore several of the other ideas listed above in the context of parallel computation. Implementing these algorithms will likely vastly improve the stability and reliability of distributed computation in SAGE.  == Saturday, June 16 == 
Line 33:  Line 73: 
* Optimized Polynomial Arithmetic: David Harvey and Bill Hart (Postdoc, Warwick) have recently created and implemented what is by far the world’s fastest code for univariate polynomial arithmetic. Explore how to fill in the remaining gaps in order to make the results of their work easily available to a larger user community. Similarly, Tom Boothby has worked for about 9 months on algorithms for very fast evaluation of polynomials at points, and another project will be to explore how to deploy this.  * 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''' (tentative) * 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 
Schedule for [:days4: SAGE Days 4], which is June 1217, 2007.
William Stein's cell phone is 2062906427.
Invited Colloquium Speakers
 Sarah Billey (UW Math)
 Henry Cohn (Microsoft Research, June 13)
 Charles Doran (UW Math, June 17 at 11am)
 Randy Leveque (UW Applied Math)
 Jim Morrow (UW Math)
 Paul Beame (UW Computer Science)
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
3:00  4:00 Henry Cohn (Microsoft Research)  Features I wish SAGE had
 4:30  5:00 strategy session
 5:00  5:30 (at the longest) Robert Miller  lightning demo of graph isomorphism algorithm
 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
3:00  4:00 Jim Morrow (UW Math): Graph theory and electrical networks.
 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: Compiled Sage: What I did to improve it
 3:00  4:00 Sara Billey (UW Math): [:sara/days4/abstract: A Computational Approach to Schubert Varieties]
 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 (tentative)
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