Tristan Vaccon's home page

Contents

• Home
• Contact
• Research
• Teaching
• Documents
• Links
• Student Seminar-Workshop

About me

I am maître de conférences of the Université de Limoges. I am a member of the XLIM lab, in the Computer Algebra Team. I have completed a Ph.D. in Mathematics (and applications) in July 2015. I was a student at the IRMAR, in the algebraic geometry team, supervised by Xavier Caruso. I used to teach at the ENS Rennes. I was a JSPS Post-Doc Fellow at Rikkyo University, hosted by Yokoyama Kazuhiro.

My CV

Home

Welcome to my page.

You can find here how to contact me, how to find me, and some documents I have written. There are also some links to more personal pages and to the pages of some friends of mine.

Duties, Conferences

PC member of ISSAC 2022 .

Organizing Committee 2021 and 2022 of JNCF .

Jury member (2019-2021) of Gilles Kahn prize from the SIF .

I organized the Journée spéciale Non-Archimédienne à Limoges (Dec. 7th, 2022).

I co-organize (2016-2022) the Limoges Computer Algebra seminar.

I organized the 2017-2018 Limoges weekly workshop on p-adic differential equations.

I am among the organizers of the conference for young researchers : Rencontres Doctorales Lebesgue 2014 , October 13 - 15, 2014, Rennes.

Itinerary

You may meet or have met me during one of the following conferences

• 2022
  • ISSAC 2022 , July 4-7 2022.
  • JNCF 2022 , Février 28- Mars 4 2022.
• 2021
  • Branching from number theory: p-adics in the sciences , August 30 - September 03 2021.
  • ACA 2021 , July 23-27 2021.
  • ISSAC 2021 , July 18-23 2021.
  • JNCF 2021 , Mars 1-5 2021.
• 2020
  • ISSAC 2020 , July 20-23 2020.
  • JNCF 2020 , Mars 2-6 2020.
• 2019
  • p-adic Langlands correspondence: a constructive and algorithmic approach, September 2-6 2019, University of Rennes 1.
  • ISSAC 2019 , July 15-18 2019.
  • Structured Matrix Days 2019 , May 23-24 2019, University of Limoges.
  • École - Courbes et groupes en familles , May 13-17 2019, University of Rennes 1.
  • JNCF 2019 , February 4-8 2019.
• 2018
  • Computer Algebra -- Theory and its Applications, December 17-20 2018, RIMS, Kyoto, Japan.
  • ISSAC 2018 , July 16-19 2018.
  • Numerical methods for algebraic curves , 19-23 Feb 2018, University of Rennes 1.
  • JNCF 2018 , January 22-26 2018.
• 2017
  • ISSAC 2017 , July 25-28 2017.
  • Sage Days 87: p-adics in Sage and the LMFDB, July 17-22 2017, University of Vermont, Burlington, VT, USA.
  • CLap–CLap , Correspondance de Langlands p-adique Une approche constructive et algorithmique, February 6-10 2017.
  • JNCF 2017 , January 16-20 2017.
• 2016
  • ISSAC 2016 , July 20-22 2016.
  • FELIM 2016 , March 29-31 2016.
  • Sage Days 71: Explicit p-adic methods in number theory, March 20-24 2016, Clay Mathematics Institute, Oxford, UK.
  • Post-Quantum Cryptography , February 22-26 2016 (Fukuoka, Japan).
• 2015
  • Computer Algebra and Related Topics , December 2-4 2015 at the RIMS (Kyoto, Japan).
  • Towards new development of mathematics via computational algebra systems , September 30- October 2 2015 at the RIMS (Kyoto, Japan).
  • ACA 2015 , July 20-23 2015 in Kalamata (Greece).
  • ISSAC 2015 , July 6-9 2015 at Bath University (England).
• 2014
  • Journées Nationales du Calcul Formel, November 3 - 7 2014, Cirm (Marseille).
  • Rencontres Doctorales Lebesgue 2014 , October 13 - 15, 2014, University of Rennes 1.
  • ANTS XI , August 7 – 11, 2014, GyeongJu, Korea.
  • ISSAC 2014 , July 21 - 25, 2014, Kobe University.
  • MAP 2014 , May 26 - 30, 2014, IHÉS.
  • Dixièmes Journées Louis Antoine , 3-4 April 2014, University of Rennes 1.
  • Rencontres du troisième cycle, 31 March-2 April 2014, Bordeaux University.
• 2013
  • Conférence de mi-parcours de l'ANR ThéoHopaD, 25-27 September 2013, Institut des Hautes Études Scientifiques.
  • Sage Days : Arithmetics over discrete valuation rings, 02-06 September 2013, University of Rennes I
  • Journées Nationales du Calcul Formel, 13-17 May 2013, Cirm.
  • Conférence de clôture de l'ANR Cethop, 22-26 April 2013, Cirm.
• 2013
  • Colloque Jeunes Chercheurs en Théorie des Nombres, 12-14 June 2012, ENS Lyon.
  • Arithmetic Geometry week in Tokyo , 4-8 June 2012, Tokyo University.
  • Sage Days 36: p-adics in Sage, February 19-23 2012, UC San Diego.
• 2012
  • International conference for the bicentenial of E.Galois' birth, 24-28 October 2011, Institut Henri Poincaré.

Selected Talks

• On the computation of p-adic Gröbner bases
• In Branching from number theory: p-adics in the sciences , September 2 2021 (slides).
• Gröbner bases over Tate algebras
• p-adic Langlands correspondence: a constructive and algorithmic approach, on the September 2-6 2019 (slides).
• ZpL: a p-adic Precision Package
• At ISSAC 2018 on the 07/18/2018 (slides, ipython notebook ).
• On Affine Tropical F5 Algorithms
• At Computer Algebra -- Theory and its Applications, on the December 18th 2018, RIMS, Kyoto, Japan.
• At ISSAC 2018 on the 07/18/2018 (slides).
• A Tropical F5 Algorithm
• At ISSAC 2017 on the 07/27/2017 (slides).
• Characteristic polynomials of p-adic matrices
• At the Rikkyo University Mathematic Colloquium on the 04/26/2017 (slides).
• At ISSAC 2017 on the 07/26/2017 (slides).
• At the Kyushu University cryptography seminar on the 10/27/2017 (slides).
• On some p-adic differential equations with separation of variables
• At Jussieu's number theory seminar on the 02/12/2018 (slides).
• At ISSAC 2016 on the 07/22/2016 (slides).
• At FELIM 2016 on the 03/29/2016 .
• Division and Slope Factorization of p-Adic Polynomials
• At ISSAC 2016 on the 07/22/2016 (slides).
• p-adic precision and isogeny computation
• At the cryptography seminar of Kyushu University on the 07/05/2016 (slides).
• Matrix-F5 Algorithms and Tropical Gröbner Base Computation
• At ISSAC 2015 on the 8 of July 2015 (slides).
• Gröbner bases over (inexact) fields with valuation.
• At ACA 2015 on the 23 of July 2015 .
• At the computer algebra and complexity seminar of the Rennes I University, on the 06 of June 2014
• At the PolSys seminar, on the 6th of December 2013 (slides).
• P-adic precision : examples and applications.
• At ANTS XI conference in GyeongJu, on the 9 of August 2014 (slides).
• At MAP 2014 — Mathematics, Algorithms and Proofs at the Institut Henri Poincaré, on the 27 of May 2014 (slides).
• At the Rencontres du troisième cycle 2014 conference at the Bordeaux I University, on the 01 April 2014.
• At Seminar of the young researchers in Number Theory at the Bordeaux I University, on the 15 of November 2013 (slides).
• At Pampers seminar of the young researchers in geometry at the Rennes I University, on the 18 of September 2013.
• p-adic precision, row-echelon form and Gröbner bases.
• At the SpecFun seminar, on the 23 of March 2014 (slides).
• At the Sage Days : Arithmetics over discrete valuation rings, on the 04 of September 2013
• At the Journées Nationales du Calcul Formel , on the 16 of May 2013.
• Matrix-F5 algorithm and loss in precision. Application toward a p-adic Gröbner basis computation.
• At the ISSAC 2014 on the 24 of July 2014 (slides).
• At the computer algebra and complexity seminar of the Rennes I University, on the 11 of September 2012
• At the Pampers seminar of the young researchers in geometry at the Rennes I University, on the 11 of July 2012
• Gröbner bases and ideal computation.
• At Pampers seminar of the young researchers in geometry at the Rennes I University, on the 05 and 12 of October 2011