## Welcome to Vincent's IRIF page

### About my PhD

I am a PhD student at IRIF in Paris, working under the supervision of Paul-André Melliès and Sam van Gool since September 2021, at the ED 386 graduate school. I belong to the three following teams:

- Algebra and computation from the Proofs, programs and systems pole

The official title of my thesis is, in French:

*Une approche topologique et fibrationnelle
de la théorie des automates d'ordre supérieur*

I am interested by the interface between mathematics and computer science. I work on $\lambda$-calculus, semantics of programming languages, profinite spaces and Stone-type dualities, codensity monads, linear logic, algebraic theories and higher-order automata, in the light of category theory.

I co-organize the type theory and homotopy theory working group at IRIF.

The Haskell programmer will find a nice introduction to denotational semantics on this Wikibooks page.

If you have access to the GitLab of Sophie Germain, you can see what I have been recently working on by clicking here.

### Articles

Here is my DBLP page and my arXiv preprints:

**Profinite trees, through monads and the lambda-calculus**(arXiv)**Syntactically and semantically regular languages of lambda-terms coincide through logical relations**(arXiv, LIPIcs, HAL), with Tito Nguyễn, accepted at CSL 2024**Profinite lambda-terms and parametricity**(arXiv, entics), with Sam van Gool and Paul-André Melliès, accepted at MFPS XXXIX

### We may have met

I have participated in the following events, in the antichronological order:

- Chocola seminar, ENS de Lyon, the 19th of September 2024.
- Visit to Masahito Hasegawa at the Computer Science Group of the Research Institute for Mathematical Sciences, Kyoto, summer 2024.
- TACL2024, Barcelona, Spain, from the 1st to the 5th of July 2024.
- CT2024, Santiago de Compostela, Spain, from the 23rd to the 29th of June 2024.
- LHC days 2024, Nantes, the 4th and 5th of June 2024.
- Differential λ-Calculus and Differential Linear Logic, 20 Years Later, CIRM in Luminy, from the 13th to the 17th of May 2024.
- HoTT/UF 2024 and the WG6 meeting, Leuven, from the 2dn to the 5th of April 2024.
- Chocola seminar, ENS de Lyon, the 14th of March 2024.
- CSL 2024, Naples, Italy, from the 19th to the 23rd of February 2024.
- JFLA 2024 - Journées Francophones des Langages Applicatifs, Saint-Jacut-de-la-Mer, from the 30th of January to the 2nd of February 2024.
- Directions and Perspectives in the $\lambda$-calculus, Bologna, the 8th of January 2024.
- Gallinette Xmas Type Theory Fest 2023, Nantes, the 20th of December 2023.
- GT SCALP, Orléans, from the 27th to the 29th of November 2023.
- Visit to Sylvain Salvati at the Inria LINKS team to work on sequential algorithms, Lille, from the 20th to the 23th of November 2023.
- Chocola seminar, ENS de Lyon, the 14th of December, the 16th of November, the 19th of October, the 28th of September.
- CT2023, Louvain-la-Neuve, Belgium, from the 2nd to the 8th of July 2023.
- CALCO 2023 & MFPS XXXIX, Bloomington, Indiana, from the 19th to the 23rd of June 2023.
- TYPES 2023, València, Spain, from the 12th to the 15th of June 2023.
- LHC days 2023 followed by the François Métayer days, Paris, from the 6th to the 9th of June 2023.
- Chocola seminar, ENS de Lyon, the 11th of May.
- Type Theory, Constructive Mathematics and Geometric Logic, CIRM in Luminy, from the 1st to the 5th of May 2023.
- HoTT/UF 2023 and the WG6 meeting, Vienna, from the 22nd to the 25th of April 2023.
- Eleventh Symposium on Compositional Structures (SYCO 11), Palaiseau, the 20th and 21st of April 2023.
- Visit at Inria's LINKS team to work on languages of $\lambda$-terms, Lille, from the 11th to the 14th of April 2023.
- Quantitative Aspects of Program Semantics, Verification, and Transformation, Bertinoro, from the 13th to the 17th of February 2023.
- Discrete mathematics and logic: between mathematics and the computer science (from the finite to the infinite), CIRM in Luminy, from the 16th to the 20th of January 2023.
- ANR PPS 4th general meeting, IRIF, from the 4th to the 6th of January 2023.
- HOMOTOPICAL DAYS, Rencontre dédiée à Clemens Berger, pour ses 60 ans, Université Côte d'Azur, from the 7th to the 9th of December 2022
- Chocola seminar, Université Paris Cité, the 24th of November 2022.
- DaLFI : Duality and Logic in the passage from the Finite to the Infinite, Université Paris Cité, the 17th of November 2022.
- The Prolog Day Symposium, Université Paris Cité, the 10th of November 2022.
- Chocola seminar, ENS de Lyon, the 20th of October 2022.
- LHC days 2022, ENS Paris-Saclay, on the 12th and 13th of October 2022.
- Workshop in Honour of Thomas Ehrhard's 60th Birthday, CNAM in Paris, on the 29th and 30th of September 2022.
- Resources in Computation project meeting, London, from the 21th to the 23th of September 2022.
- Categories and Companions Symposium 2022, Creswick, Victoria and online, from the 19th to the 23th of September 2022.
- Structure Meets Power, an ICALP 2022 affiliated workshop, Paris, the 4th of July 2022.
- TYPES 2022, including the first Dedukti school, Nantes, from the 20th to the 25th of June 2022.
- Duality and More workshop, Université Côte d'Azur, from the 16th to the 20th of May 2022.
- Midlands Graduate School, University of Nottingham, from the 10th to the 14th of April 2022.
- Chocola seminar, ENS de Lyon, the 31th of March 2022.
- Linear Logic Winter School, CIRM in Luminy, from the 24th to the 28th of January 2022.

### Contact

Nom | Moreau |

Prénom | Vincent |

Téléphone | |

Bureau | 4033 |

moreau@irif.fr | |

Page web | https://www.irif.fr/~moreau/ |