Meetings
Some meetings were private and informal. For these reasons, they are not recorded here.
“Analytic and continental philosophy” (May 20th, 2024) by Luc Pommeret (17 people). “Le professionnel et l’écrivain : le pouvoir offensif de la philosophie analytique”, Luc Pommeret (1h30) “Technical introduction to transcendental syntax” (May 11th, 2024) (4 people). “Introduction to Peirce’s philosophy”, Pablo Donato (30min). “Stellar resolution and Girard’s knitting”, Boris Eng. “Meeting around Jean-Yves Girard” (May 10th, 2024) (5 people).
Will Faught
2 minutes
Members
Co-founders Davide BarbarossaLambda-calculus, type theory, linear logic, category theory, classical realizability, philosophy of mathematics – Università di Bologna Pablo Donato 🌸 (administrator)Sequent calculus, deep inference, type theory, Peirce’s existential graphs, focalization, proof search – Ecole Polytechnique (LIX) Boris Eng 🦖 (administrator, coordinator)Transcendental syntax, computer science – OCamlPro (private company) Valentin MaestracciLambda-calculus, type theory, homotopy type theory, Dedukti, directed homotopy theory, rewriting – Université Aix-Marseille Members Pierre Cardascia 🎲Philosophy, Game Design, Entrepreneurship, Immersive Experience, Poetry – SubOptimal Games (private company) Baptiste ChanusDescriptive complexity – Université Paris 1 Panthéon-Sorbonne Kostia ChardonnetComputer science, quantum computation, cyclic proofs – Centre Inria de l’Université de Lorraine (MOCQUA) Sidney CongardSemantics of programming languages – Centre Inria de l’Université de Rennes (Galinette) Charles GrelloisUniversity of Sheffield Jérémy Hervé 🍄Mushrooms, operating systems design – Independent Ambroise LafontType Theory and Category Theory – École Polytechnique (LIX) Luc PommeretLogic, LLM (Machine learning) – Université Paris Cité (IRIF) Adrien RagotProof-nets, interaction nets, implicit computational complexity, lambda-calculus, linear logic – Université Sorbonne Paris Nord / University Roma Tre Paul SéjournéArchaic and contemporary philosophy (of mathematics), algebraic geometry, category theory – Université Paris-Sorbonne Vincent MoreauCategory theory, type theory, denotational semantics, topology, algebra, proof assistants – Université Paris Cité (IRIF) TitoLinks between linear logic and automata theory, combinatorics, computational complexity, algorithms – École normale supérieure de Lyon Xavier DenisDeductive verification and specification of Rust programs – ETH Zurich Visitors and guests Hugo Cadière, Titouan Carette, Clémence Chanavat, Bernardo Marques, Julien Marquet, Rémi Nollet, Federico Olimpieri, Raphael Tossings, Pierre Vial, Quentin, Gael Deest, Martin Tricaud, Fadi Shawki, Eliès Harington, Axel Kerinec, Aloÿs Dufour, Bernardo, Anne-Laure, Escherichia, Alexey, François-René Rideau (Faré), Roman Perez, Nico.
Will Faught
2 minutes
Projects
Reading/working group Normalisation by Evaluation (NbE) Participants: Vincent Moreau, Ambroise Lafont, Tito, Valentin Maestracci, Sidney Congard.
Reading of Kant (Ended) Participants: Ambroise Lafont, Sidney Congard, Jérémy Hervé, Luc Pommeret, Paul Séjourné.
Reading of Wittgenstein (soon) Participants (tbc): Vincent Moreau, Tito, Boris Eng, Sidney Congard.
Developement of Girard’s Transcendental Syntax A programming guide to transcendental syntax Participants: Boris Eng. The goal is to develop a programming guide (in the idea of Software Foundations for Coq) in order to make the ideas of Girard's transcendental syntax more accessible.
Will Faught
2 minutes
Resources
“Le fantôme de la transparence” – Jean-Yves Girard “An exegesis of transcendental syntax” (PhD thesis) – Boris Eng “La logique face à l’arbitraire” (French) – Sidney Congard “Les limites de la correspondance preuve/programme” (French) – Laurent Regnier “Aristote et l’électricien : le branchement des idées” (French video) – Paolo Pistone “D’une logique à l’autre” (French video) – Laurent Regnier “Symmetry and interactivity in Programming” – Pierre-Louis Curien “Radical anti-realism and substructural logics” – Jacques Dubucs & Mathieu Marion “Which Logic for the Radical Anti-Realist?
Will Faught
1 minute