= Sage Days: Arithmetics over discrete valuation rings (e.g. p-adics) = == September 2–September 6, 2013, Université Rennes 1, France == === Schedule === ||||||'''Monday'''|| || 10:00-10:30 || || Welcome and orientation || || 10:30-12:00 || || Sage for begginers / coding sprint || || 13:30-14:30 || Xavier Caruso || The state of padics in Sage [[https://cethop.math.cnrs.fr:8443/home/pub/12/|worksheet]] || || 14:30-15:00 || || overview of projects || || 15:00-16:00 || Julian Rüth || About the new git workflow || || 16:00- || || coding sprint || ||||||'''Tuesday'''|| || 08:00-11:00 || || coding sprint || || 11:00-12:00 || Jérémy Berthomieu|| padics in Mathemagix [[attachment:berthomieu-slides.pdf|slides]] || || 14:00-14:15 || || status reports of projects || || 14:30-19:00 || || coding sprint || || 19:30- || || conference dinner || ||||||'''Wednesday'''|| || 08:00-11:00 || || coding sprint || || 11:00-12:00 || Luca De Feo || Implementation of finite fields [[attachment:defeo-slides.pdf|slides]] [[https://cethop.math.cnrs.fr:8443/home/pub/13/|worksheet]] || || 13:30-14:30 || Jean-Pierre Flori|| padics in FLINT [[attachment:flori-slides.pdf|slides]] || || 14:45-15:45 || Tristan Vaccon || padic Gröbner basis || || 16:00-16:30 || || status reports of projects || || 16:30- || || coding sprint || ||||||'''Thursday'''|| || 08:00-11:00 || || coding sprint || || 11:00-12:00 || Xavier Caruso || padic precision [[attachment:caruso-slides.pdf|slides]] || || 13:30-14:30 || David Roe || padic in Sage - past, present and future || || 14:45-15:45 || David Lubicz || Series over padics || || 16:00-16:30 || || status reports of projects || || 16:30- || || coding sprint || ||||||'''Friday'''|| || 08:00-11:00 || || coding sprint || || 11:00-12:00 || Jan Tuitman || Counting points on curves [[attachment:tuitman-slides.pdf|slides]] || || 14:00-15:00 || Kiran Kedlaya || Counting points on hyperelliptic curves in average polynomial time (after Harvey & Sutherland) || || 15:15-15:45 || || status reports of projects || || 16:30- || || coding sprint || Go back to the [[sagedays-padics-Rennes|Sage Days 52 home page]] === Last Updated === August 19, 2013