Sage Days: Arithmetics over discrete valuation rings (e.g. p-adics)

September 2–September 6, 2013, Université Rennes 1, France

The aim of this workshop is to contribute to the development of p-adics rings in Sage - and more generally discrete valuation rings (DVR). It includes basic arithmetics, linear algebra and analysis (e.g. analytic functions) over these rings.

Registration

Registration is free. There is limited funding for travel and lodging.

Please contact Xavier Caruso at xavier.caruso (at) normalesup.org to register. Please indicate if you will be requesting funding.

Projects

The specific problems addressed at this workshop will be decided upon the interests of the participants. The following general topics are proposed:

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 p-adics in Sage

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

14:00-15:00

Jean-Pierre Flori

padics in FLINT

15:15-15:45

status reports of projects

16:00-

coding sprint

Wednesday

08:00-11:00

coding sprint

11:00-12:00

Luca De Feo

Implementation of finite fields

13:30-14:30

Julian Rüth

Extensions of p-adic fields

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

13:30-14:30

David Roe

(to be announced)

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

(to be announced)

14:00-15:00

Kiran Kedlaya

(to be announced)

15:15-15:45

status reports of projects

16:30-

coding sprint

Location

Université Rennes 1, France. See location on Google Maps.

All talks and coding sessions will take place in the math building (so-called math tower), numbered 22 on this map.

Participants (first tentative)

*: To be confirmed

Organizers

Last Updated

July 8, 2013