9:00am - 9:30am

Registration

9:30am - 12:30pm

Morning working sessions

12:30pm - 2:00pm

Lunch

2:00pm - 3:00pm

William Stein: The Kolyvagin-Gross-Zagier Approach to the Birch and Swinnerton-Dyer Conjecture stein-talk-the_bsd_conjecture.pdf

3:10pm - 4:10pm

Robert Miller: Computationally verifying BSD for individual curves

4:20pm - 5:20pm

Andrew Sutherland: Images of Galois representations associated to elliptic curveshttp://math.mit.edu/~drew/ImageOfGalois.pdf

5:30pm - 6:00pm

Project organization

9:00am - 12:30pm

Morning working sessions

11:00am - 12:00am

Intro to Sage (linear algebra) http://sagenb.org/home/pub/1196/ Days 18 Linalg Demo.sws

12:30pm - 2:00pm

Lunch

2:00pm - 3:00pm

William Stein: Computing Kolyvagin classes stein-talk-computing_kolyvagin_classes.pdf and 389a-demo.pdf

3:10pm - 4:10pm

Robert Bradshaw: Computing motivic L-functions

4:20pm - 5:20pm

Salman Baig: Elliptic curves over function fields

5:30pm - 6:00pm

Project status reports

9:00am - 12:30pm

Morning working sessions

10:00am

David Roe: Tate's algorithm over number fields (informal tutorial)

11:00am

Robert Miller: 2-descent in Sage (informal tutorial)

12:30pm - 2:00pm

Lunch

2:00pm - 3:00pm

Karl Rubin: Kolyvagin systems and refined class number formulas. Reading list: this new paper.

3:10pm - 4:10pm

Jared Weinstein: Distribution of Kolyvagin classes

4:20pm - 5:20pm

Robert Pollack: Computing p-adic L-functions

5:30pm - 6:00pm

Project status reports

9:00am - 12:30pm

Morning working sessions

11am

Computing images of Galois representations (informal tutorial, Drew Sutherland and William Stein); See http://sagenb.org/home/pub/1205/

12:30pm - 2:00pm

Lunch

2:00pm - 3:00pm

Dimitar Jetchev: Equidistribution of Heegner points and ternary quadratic forms

3:10pm - 4:10pm

Mirela Ciperiani: Solvable points and Kolyvagin's Euler system. Reading list: research apper

4:20pm - 5:20pm

Matthew Greenberg: Fundamental domains for Shimura curves and computation of Stark-Heegner points :slides -- greenberg.pdf

5:30pm - 6:00pm

Project status reports (final wrap up)

9:00am - 9:30am

Registration

9:30am - 9:45am

Introduction and announcements

9:45am - 10:30am

Karl Crisman: Using Sage in the classroom http://sagenb.org/home/pub/1212

10:30am - 11:00am

Math software capabilities: what is and isn't in Sage

11:00am - 11:10am

Break

11:10am - 11:30am

Introduction to Lurch (Lite)

11:30am - 11:50am

Math and word processing: what works, what doesn't, and the state of Lurch and Sage

11:50am - 12:20am

Sage for newbies: logistics, browsers, portability, where documentation really is, etc.

12:20pm - 1:30pm

Lunch

1:30pm - 2:30pm

Session on undergraduate teaching with Sage Beezer, Group Theory