Here are 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

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

• Advances in Interactive and Quantitative Semantics, CIRM in Luminy, from the 26th to the 28th of May 2025.
• EPIT 2025 on (co)inductive & circular reasoning applied to programming, formal proofs and software verification , Aussois (France), from the 19th to the 23rd of May 2025.
• Dagstuhl seminar Categories for Automata and Language Theory, from the 31th of March to the 4th of April 2025.
• Visit to Nick Hu at the Theory of Computation at the University of Birmingham, from the 24th to the 28th of March 2025.
• Chocola seminar, ENS de Lyon, the 19th of September 2024 and the the 17th of October 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.