= 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

See also https://github.com/sagemath/sage/wiki/Sage-Days-52

=== Schedule ===

See [[/Schedule|here]].

=== Location ===

Université Rennes 1, France. [[http://maps.google.fr/?ll=48.119258,-1.641887&spn=0.003989,0.009645&t=m&z=17|See location on Google Maps.]]

All talks and coding sessions will take place in the math building (so-called math tower), numbered 22 on [[http://handicap.univ-rennes1.fr/digitalAssets/81/81399_plan-Campus.jpg|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 ===

 * [[http://cethop.math.cnrs.fr/|CETHop project]]
 * [[http://webmath.univ-rennes1.fr/crypto/|Rennes cryptography seminar]]

=== Last Updated ===

August 19, 2013