Here is my DBLP page and my arXiv preprints:

• Profinite lambda-terms and parametricity, with Sam van Gool and Paul-André Melliès, accepted at MFPS XXXIX
• Syntactically and semantically regular languages of lambda-terms coincide through logical relations, with Tito Nguyen.

I have attended the following public events, in the antichronological order:

• Chocola seminar, ENS de Lyon, 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, 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.