# 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:

- Implement basic functions for matrices over DVR (e.g. Hermite and Smith decomposition)
- Implement extensions of p-adics (currently only unramified and totally ramified extensions are available)
- Write classes for series over DVR
- Design a general framework for precision
- Review several tickets related to p-adics

### Schedule

See here.

### 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)

- Jérémy Berthomieu
- Jean-François Biasse
- Céline Breilly
- Xavier Caruso
- Gilles Christol
- Agnès David
- Luca De Feo
- Jean-Pierre Flori
- Muhammad Imran
- Kiran Kedlaya (September 6 only)
- Cécile Gonçalves
- Jérémy Le Borgne
- Alexandre Le Meur
- David Lubicz
- Andrea Pulita
- David Roe
- Julian Rüth
- Jeroen Sijsling
- Olivier Taïbi*
- Arnaud Tisserand
- Jan Tuitman
- Tristan Vaccon
- Nathalie Wach
- Paul Zimmermann (by correspondance)

*: To be confirmed

### Organizers

- Xavier Caruso, Université Rennes 1, France
- David Lubicz, Université Rennes 1, France

### Sponsors

### Last Updated

August 19, 2013