ReFL

Réflexions sur les Fondements de la Logique

Meetings

Will Faught

2 minutes

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).
  • “Program verification” (June 26th, 2023) by Xavier Denis.
    • “Presentation of the Rust programming language”, Xavier Denis (1h)
    • “Why formal verification is getting it wrong”, Xavier Denis (1h)
  • “Logic and quantum computation” (May 31th, 2023) by Kostia Chardonnet. Chair: Kostia Chardonnet.
    • “Quantum computation and Geometry of Interaction”, Kostia Chardonnet (45min)
  • “Logic and Categories” (March 24th, 2023) by Tito and Valentin Maestracci. Chair: Pablo Donato.
  • “ReFL first seminar of the year” (February 21, 2023) by Pablo Donato, Davide Barbarossa, Adrien Ragot, Boris Eng, Sidney Congard (around 13 people online). Chair: Boris Eng.
    • “Du calcul des séquents à la logique linéaire”, Pablo Donato (30min)
    • “Correspondance de Curry-Howard et théorie des types”, Davide Barbarossa (30min)
    • “Réseaux de preuve multiplicatifs avec règle daemon”, Adrien Ragot (30min)
    • “Introduction à la géométrie de l’interaction originale de Girard”, Boris Eng (30min)
    • “Introduction à la syntaxe transcendantale”, Sidney Congard (30min)
  • “Freedom and Control in Logic and Computation” (February 1st, 2023) (4 people).
    • Apodictic and Epidictic in Girard’s transcendental syntax. Control over computation (synchronicity, sequentiality, direction of computation).
  • “Proof-nets and Deep Inference” (April 27, 2022) by Pablo Donato (5 people).
    • Comparison between deep inference and proof-nets. Non-sequentialisable multiplicative connectives, ludics, proof assistants, sequent calculi as recipes for computational objects (constellations).
  • “Computation and Meaning” (March 23, 2022) by Boris Eng (8 people).
    • Discussion on stellar resolution and ways to put meaning on it (Girard’s “usine” and “usage”), correctness criterion, realisability theory.
  • “Lambda-calculus and stellar resolution” (March 9, 2022) by Boris Eng and Julien Marquet (6 people).
    • Discussion on possible encodings of lambda-calculus and Lafont’s interaction nets with unification (by using stellar resolution). Decomposition of tests as constellations. Discussions on optimal reduction of lambda-calculus.
  • Round table discussion at CIRM’s “Logic and Interaction” thematic month (February 2022) (8 people).
    • Discussions on Girard’s transcendental syntax. Focus on Girard’s “conceptual knitting”.