From 7561cd47ba80ae404f85a7c7d3d5e4a5fa2cc0cb Mon Sep 17 00:00:00 2001 From: engboris Date: Sun, 20 Oct 2024 00:45:36 +0200 Subject: [PATCH] Add seminar --- content/meetings.md | 4 +++- content/members.md | 2 +- 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/content/meetings.md b/content/meetings.md index 946bf16..68d1ece 100644 --- a/content/meetings.md +++ b/content/meetings.md @@ -4,6 +4,8 @@ title: "Meetings" Some meetings were private and informal. For these reasons, they are not recorded here. +- **"Fondements esthétiques de la logique"** (November 1st, 2024) by Pierre Cardascia. + + (Soon) - **"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). @@ -33,4 +35,4 @@ Some meetings were private and informal. For these reasons, they are not recorde - **"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". \ No newline at end of file + + Discussions on Girard's transcendental syntax. Focus on Girard's "conceptual knitting". diff --git a/content/members.md b/content/members.md index 392ca11..c259f32 100644 --- a/content/members.md +++ b/content/members.md @@ -27,4 +27,4 @@ title: "Members" # 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. \ No newline at end of file +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.