Slides
This list includes a series of slides of my recent (or less recent) talks.
Categorical combinatorics of scheduling and synchronization in game semantics
Talk at the 46th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL'19, January 2019.
Tensorial logic and dialogue categories
Invited talk at the International Workshop on Proofs and Computations,
Hausdorff Research Institute for Mathematics
, July 2018.
Refinement type systems and Martin-Löf type theory
Invited talk at the International Workshop on Types, Homotopy Type theory, and Verification,
Hausdorff Research Institute for Mathematics
, June 2018.
Five basic concepts of axiomatic rewriting theory
Invited talk at the 5th International Workshop on Confluence, Obergurgl, September 2016.
Linear logic and higher-order model-checking
Talk at Institut Henri Poincaré, June 2014.
Sharing and duplication in tensorial logic
Invited talk at
DICE 2013
, Roma, March 2013.
Tensorial logic with fixpoints
Talk at the Groupe de Travail Jeux of the GDR Informatique Mathématique, ENS Cachan, September 2012.
Parametric monads and enrichment
Talk at
LOLA 2012
, Dubrovnik, June 2012.
An introduction to Yoneda structures.
Talk at the weekly seminar
catégories supérieures, polygraphes et homotopie
in Chevaleret, May 2010.
First steps in random walks.
Seminar talk given at Ecole Polytechnique, at a meeting of the ANR Panda, May 2010.
Functorial boxes in string diagrams.
Invited talk at
Computer Science Logic 2006
in Szeged.
Recursive types and parametricity in an operational framework.
Sunday talk at
Logic in Computer Science 2005
in Chicago.
Asynchronous games: a fully complete model of propositional linear logic.
Wednesday talk at
Logic in Computer Science 2005
in Chicago.
Axiomatic Rewriting Theory VI: Residual theory revisited.
Best paper award of the conference
Rewriting Techniques and Applications 2002
in Copenhagen.
Axiomatic rewriting theory and explicit substitutions.
Invited talk at WESTAPP 2001 devoted to explicit substitutions.
On head-rewriting paths in the lambda-sigma-calculus.
Talk at
HOR 2002
devoted to higher-order rewriting.
Games are continuation models!
(On Blass phenomenon, duality and polarized linear logic.)
Talk at Full Completeness and Full Abstraction, Satellite workshop of
LICS 2001
in Boston.