Schroedinger's cut., Logique et interactions, CIRM, 9 février 2022.
Deux ou trois choses que je sais d'elle (la logique)., École de logique linéaire, CIRM, 28 janvier 2022.
La logique déconfinée, Seminario di logica, Università Roma Tre (exposé Zoom), 29 mai 2020.
Logic 2.0, Keio University, September/October 2018.
On second order logic, Takeuti memorial meeting, September 2018.
Le fantôme de la transparence, Roma, 18 novembre, 25 novembre, 2 décembre, 9 décembre 2016.
Thirty years later, Bologna, February 2016.
Transcendental syntax, Keio University, November 2015.
Predicate calculus as a logical epicycle, Oslo, May 2015.
Le fantôme de la transparence, Paris, avril 2004.
Règles de la logique, logique des règles, Annecy, avril 2014.
L'analytique ou le non sens, Annecy, décembre 2013.
Logic revisited through informatics, Paris, October 2013.
Three lightings of logic, Torino, September 2013.
Interdiction vs. refutation, Bordeaux, November 2009.
Non-commutativity vs. foundations, Uppsala, May 2009.
La négation, FRUMAM, décembre 2009.
The geometry of interaction, Tokyo, February 2008.
The fantom of transparency, Tokyo, February 2008.
Logic vs. intelligence, Tokyo, February 2008.
Truth, modality, intersubjectivity, Siena, May 2007.
Vérité et intersubjectivité, Marseille, février 2007 (version striptease).
La pérennité non perenne, Luminy, avril 2006.
The blind spot, Tokyo, March 2006.
Finitism, hyperfinitism and iconoclasm, Luminy, February 2006.
Ludique dans l'algèbre CAR, Torino, septembre 2004.
Nouvelles du troisième sous-sol, École Polytechnique, juin 2004.
À l'Ouest rien de nouveau ?, septembre 2003.
Between logic and quantic, Helsinki, August 2003.
Between logic and quantic, Ottawa, June 2003.
From the rules of logic to the logic of rules, Paris, September 2001 (striptease version).
From the rules of logic to the logic of rules, Philadephia, March 2001.
Locus Solum, November 2000 (striptease version).
Les fondements des mathématiques, UTLS, juin 2000 (version striptease).
Ludics I : introduction, 1999 ? (striptease version).