Campuses:

Next Week

Monday, August 21, 2017
8:30 am - 9:00 am Coffee and registration Lind 400
9:00 am - 9:15 am Welcome and introduction
Benjamin Brubaker (University of Minnesota, Twin Cities), Gregg Musiker (University of Minnesota, Twin Cities)
Lind 305
9:15 am - 10:00 am An Introduction to SageMath
Franco Saliola (University of Quebec)
Lind 305
10:00 am - 10:45 am Features we have and want in combinatorics in Sage
Anne Schilling (University of California, Davis)
Lind 305
10:45 am - 11:15 am Break Lind 400
11:15 am - 12:00 pm An introduction to cluster superalgebras
Ashish Srivastava (Saint Louis University)
Lind 305
12:00 pm - 2:00 pm Lunch
2:00 pm - 2:45 pm Graphs as Statistical Objects
Tom Denton (Google Inc.)
Lind 305
2:45 pm - 3:30 pm Open Source Tools for Optimization in Python
Ted Ralphs (Lehigh University)
Lind 305
3:30 pm - 4:00 pm Break Lind 400
4:00 pm - 4:45 pm The many ways of computing with real numbers
Vincent Delecroix (Université de Bordeaux II (Victor Segalen))
Lind 305
4:45 pm - 5:45 pm Introductions and start of small group meetings Lind 305
6:00 pm - 8:30 pm Social Hour at Surly Brewery
Tuesday, August 22, 2017
8:30 am - 9:00 am Coffee Lind 400
9:00 am - 9:45 am Computing rational points on curves in Sage
Jennifer Balakrishnan (Boston University)
Lind 305
9:45 am - 10:30 am An introduction to p-adics in Sage
David Roe (University of Pittsburgh)
Lind 305
10:30 am - 10:40 am Group Photo Lind 305
10:40 am - 11:00 am Break Lind 400
11:00 am - 12:00 pm Discussion: Introductions and functionality wish lists Lind 305
12:00 pm - 2:00 pm Lunch
2:00 pm - 2:45 pm Sage-Enabled Textbooks
Rob Beezer (University of Puget Sound)
Lind 305
2:45 pm - 3:30 pm Connections between resources
David Farmer (American Institute of Mathematics (AIM))
Lind 305
3:30 pm - 4:00 pm Break Lind 400
4:00 pm - 6:00 pm Coding Sprints Lind 305
Wednesday, August 23, 2017
8:30 am - 9:00 am Coffee Lind 400
9:00 am - 9:45 am Pyomo: An Open Source Library for Modeling and Solving Mathematical Programs
Jean-Paul Watson (Sandia National Laboratories)
Lind 305
9:45 am - 10:30 am Experimental Coxeter Group Theory
Jean-Phillippe Labbe (Freie Universität Berlin)
Lind 305
10:30 am - 11:00 am Break Lind 400
11:00 am - 12:00 pm Coding Sprints Lind 305
12:00 pm - 2:00 pm Lunch
2:00 pm - 2:45 pm CoCalc and SageMath in service of Ximera
James Fowler (The Ohio State University)
Lind 305
2:45 pm - 3:30 pm Lecture
Duane Nykamp (University of Minnesota, Twin Cities)
Lind 305
3:30 pm - 4:00 pm Break Lind 400
4:00 pm - 4:30 pm Discussion: Status reports Lind 305
4:30 pm - 6:00 pm Group meetings and coding sprints Lind 305
Thursday, August 24, 2017
8:30 am - 9:00 am Coffee Lind 400
9:00 am - 9:45 am Computations in Number Theory
Alyson Deines (Center for Communications Research)
Lind 305
9:45 am - 10:30 am Discussion: Status reports Lind 305
9:45 am - 10:30 am Automating the proof of an analogue of Matsumoto's theorem
Eric Marberg (Hong Kong University of Science and Technology)
Lind 305
10:30 am - 11:00 am Break Lind 400
11:00 am - 12:00 pm Coding Sprints Lind 305
12:00 pm - 1:45 pm Lunch
1:45 pm - 2:30 pm Number Theory in Sage
Kiran Kedlaya (University of California, San Diego)
Lind 305
2:30 pm - 3:30 pm Coding Sprints Lind 305
3:30 pm - 4:00 pm Break Lind 400
4:00 pm - 6:00 pm Coding Sprints Lind 305
Friday, August 25, 2017
8:30 am - 9:00 am Coffee Lind 400
9:00 am - 10:30 am Coding Sprints Lind 305
10:30 am - 11:00 am Break Lind 400
11:00 am - 12:00 pm Coding Sprints Lind 305
12:00 pm - 2:00 pm Lunch
2:00 pm - 3:00 pm Final status reports Lind 305