|
Size: 3205
Comment:
|
Size: 2423
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 31: | Line 31: |
| ||||||'''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 || 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 || p-adic Gröbner basis || || 16:00-16:30 || || status reports of projects || || 16:30- || || coding sprint || |
See [[/Schedule|here]]. |
| Line 50: | Line 37: |
| 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]. | 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]]. |
| Line 59: | Line 46: |
| * Agnès David | |
| Line 81: | Line 69: |
| ==== Organizers ==== | === Organizers === |
| Line 86: | Line 74: |
| === Sponsors === * [[http://cethop.math.cnrs.fr/|CETHop project]] * [[http://webmath.univ-rennes1.fr/crypto/|Rennes cryptography seminar]] |
|
| Line 89: | Line 81: |
| July 8, 2013 | August 19, 2013 |
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