Presentations

2024

• An unbiased definition of simply typed λ-calculus, CoREACT meeting, November 29, 2024.
• Delooping generated groups in homotopy type theory, FSCD conference, July 10, 2024.
• Delooping cyclic groups with lens spaces in homotopy type theory, LICS conference, July 9, 2024.
• Coherence in cartesian theories using rewriting, New York category theory seminar, May 28, 2024 [video].
• A type-theoretical definition of weak ω-categories, ENS Rennes seminar, January 26, 2024.

2023

• Categorical coherence from term rewriting systems, FSCD conference, July 4, 2023.
• Polygraphs in homotopy type theory, Métayer days, June 9, 2023.
• Division by two, omniscience, and homotopy type theory, SCALP meeting, February 16, 2023.

2022

• Division by Two, in Homotopy Type Theory, FSCD conference, August 3rd, 2022.
• Monoids (and more) as bridges, March 17th, 2022.

2021

• A cartesian bicategory of polynomial functors in homotopy type theory, MFPS conference, August 31st, 2021.
• A cartesian bicategory of polynomial functors in homotopy type theory, ANR S3 meeting, June 18th, 2021.

2020

• An introduction to denotational semantics of logic, SOCS meeting, December 10th, 2020.

2018

• Mechanized tools for higher categories, rencontre CHoCoLa, March 15, 2018.

2017

• Tietze equivalences as weak equivalences, Journées PPS, October 13, 2017.
• Convergent presentations of monoidal categories, International School on Rewriting, July 6, 2017.
• A type-theoretical definition of weak ω-categories, LICS, June 21, 2017.
• Directed geometric models of concurrent programs, course in Applied and Computational Algebraic Topology spring school, April 24, 2017.
• Geometric invariants of algebraic structures, sémin'ouvert, April 20, 2017.

2016

• Real-world analysis of concurrent programs, groupe de travail, December 12, 2016
• Points of view on asynchronous computability, Journées du GDR Topologie Algébrique, December 2, 2016.
• Homological invariants for term rewriting systems, Journées Nationales Géocal-LAC, November 29, 2016.
• Galois theory, November 3, 2016.
• Homological invariants for term rewriting systems, Séminaire de Logique et Interactions, I2M, 7 July 2016.
• Homological Computations for Term Rewriting Systems, FSCD 2016 conference, 22 June 2016.
• Points of view on asynchronous computability, WIP, 27 April 2016.
• Complex parities, groupe de travail catégories, 25 March 2016.

2015

• Presenting a category modulo a rewriting system, RTA conference, Warsaw, 30 April 2015.
• Dihomotopy and the cube property, GETCO conference, Aalborg, 10 April 2015.
• Implementing Polygraphs, CATHRE ANR meeting, 3 February 2015.

2014

• Higher-Dimensional Rewriting Systems, invited presentation at IWC and TERMGRAPH meetings, 13 July 2014.
• Koszulity of PROPerads by Rewriting, CATHRE ANR meeting, 22 May 2014.

2013

• Koszul duality for algebras, working group, 9 October 2013.
• A Categorical Theory of Patches, MFPS'13, 24 June 2013.
• Discrete Morse Theory, working group, 21 January 2013.

2012

• Minimal Resolutions via Algebraic Morse Theory, working group, 15 November 2012.
• Koszul Duality for Algebras, working group, 10 October 2012.
• The Higher-Dimensional Structure of Partial Orders, Oxford seminar, 15 June 2012.
• The Higher-Dimensional Structure of Partial Orders, recontres CHoCoLa, 10 May 2012, Lyon.
• Trace Spaces: an Efficient New Technique for State-Space Reduction, ESOP 2012 conference, 26 March 2012.
• The Structure of First-Order Causality, Logique et interactions, Marseille, 28 February 2012.
• Guaranteed Topological Methods for Dynamical Systems, séminaire LMeASI, 25 January 2012.

2011

• Towards Efficient Computation of Trace Spaces of Concurrent Programs, séminaire, Orsay, 18 November 2011.
• A Non-Standard Model for Kahn Networks in Continuous Time, Séminaire PPS, Paris, 15 November 2011.
• Towards Efficient Computation of Trace Spaces of Concurrent Programs, Workshop on Computational Topology, Toroto, Canada, 8 November 2011.
• Critical Pairs in 2-Dimensional Rewriting Systems, Operads and Rewriting, Lyon, 3 November 2011.
• Towards Efficient Computation of Trace Spaces of Concurrent Programs, workshop CHOCO, Lyon, 4 April 2011.

2010

• Quillen Model Categories Model Martin-Löf Type Theory with Identity Types, working group, CIRM, Luminy, December 2010.
• Algebraic Tools in Game Semantics, GT Jeux, 26 october 2010.
• Cubical Sets and Petri Nets: an Adjunction, workshop on Geometric and Topological Methods in Computer Science (GETCO'10), 11 january 2010.

2009

• A Local View on Innocence, workshop in Roma, 24 April 2009.
• Jeux et Sémantique : journée Théorie des Jeux et Informatique, 18 février 2009.

2008

• De la webradio lambda à la λ-webradio : groupe de travail programmation de PPS, 20 novembre 2008.
• Présentation d'une sémantique de jeux pour la quantification du premier ordre : réunion de l'ANR INVAL, 25 septembre 2008.
• Ma présentation du 1^er avril 2008 à l'EJCIM intitulée Une sémantique de jeux asynchrone pour la logique linéaire.

2007

• Ma présentation du 20 décembre 2007 à la réunion de l'ANR CHOCO intitulée Innocence dans les sémantiques de jeux asynchrones.
• Ma présentation du 7 septembre 2007 à la conférence CONCUR 2007 intitulée Asynchronous Games: Innocence without Alternation.
• Ma présentation au groupe de travail concurrence du 21 juin 2007 intitulée Asynchronous Games: Innocence without Alternation.

2006

• La présentation (et mes notes) que j'ai faite à la rencontre GÉOCAL du 30 octobre 2006, à Lyon, sur Une théorie algébrique de la sémantique des jeux.
• La présentation que j'ai donnée au séminaire thésards le 15 mars 2006 sur l'innocence asynchrone et non alternée.
• La présentation (et mes notes) que j'ai faite à la rencontre GÉOCAL du 24 février 2006 au CIRM, à Luminy sur l'innocence non alternée.

2005

• Ma présentation sur l'innocence asynchrone à la rencontre GÉOCAL du 20 juin 2005.