From ac68de0a2655437d1961a8eeefb8cf599ee607d0 Mon Sep 17 00:00:00 2001 From: engboris Date: Fri, 12 Dec 2025 18:12:26 +0100 Subject: [PATCH] Update members --- src/pages/members.astro | 8 +------- 1 file changed, 1 insertion(+), 7 deletions(-) diff --git a/src/pages/members.astro b/src/pages/members.astro index 1fb0f8c..1fd9bee 100644 --- a/src/pages/members.astro +++ b/src/pages/members.astro @@ -121,12 +121,6 @@ const members = [ interests: "Archaic and contemporary philosophy (of mathematics), algebraic geometry, category theory", affiliation: "Université Paris-Sorbonne" }, - { - name: "Vincent Moreau", - url: "https://www.irif.fr/~moreau/", - interests: "Category theory, type theory, denotational semantics, topology, algebra, proof assistants", - affiliation: "Université Paris Cité (IRIF)" - }, { name: "François-René Rideau (Faré)", interests: "", @@ -140,7 +134,7 @@ const visitors = [ "Quentin", "Gaël Deest", "Martin Tricaud", "Fadi Shawki", "Éliès Harington", "Axel Kerinec", "Aloÿs Dufour", "Bernardo", "Anne-Laure", "Escherichia", "Alexey", "Roman Perez", "Nico", "Chirine Laghjichi", "Jonty Male", - "Alexis Toumi", "Baptiste Colin", "Léo", "Noé Ensarguet", "Tito", "Eric Patrizio" + "Alexis Toumi", "Baptiste Colin", "Léo", "Noé Ensarguet", "Tito", "Eric Patrizio", "Vincent Moreau" ]; ---