From 37182e5d97fae228d37a514386cd786f37a4934a Mon Sep 17 00:00:00 2001
From: engboris <engboris@hotmail.fr>
Date: Thu, 11 Dec 2025 19:26:21 +0100
Subject: [PATCH] Update members

---
 src/pages/members.astro | 12 +++---------
 1 file changed, 3 insertions(+), 9 deletions(-)

diff --git a/src/pages/members.astro b/src/pages/members.astro
index d0cce43..4dee1ab 100644
--- a/src/pages/members.astro
+++ b/src/pages/members.astro
@@ -12,8 +12,8 @@ const cofounders = [
     name: "Pablo Donato 🌸",
     url: "https://pablogician.refl.fr/",
     role: "administrator",
-    interests: "Proof theory, type theory, topos theory, proof assistants, human-computer interaction, end-user programming",
-    affiliation: "Grothendieck Institute"
+    interests: "Proof theory, type theory, category theory, proof assistants, end-user programming",
+    affiliation: "Charles Institute"
   },
   {
     name: "Boris Eng 🦖",
@@ -132,12 +132,6 @@ const members = [
     interests: "",
     affiliation: ""
   },
-  {
-    name: "Tito",
-    url: "https://nguyentito.eu/",
-    interests: "Links between linear logic and automata theory, combinatorics, computational complexity, algorithms",
-    affiliation: "CNRS & Aix-Marseille"
-  }
 ];
 
 const visitors = [
@@ -146,7 +140,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"
+	"Alexis Toumi", "Baptiste Colin", "Léo", "Noé Ensarguet", "Tito", "Eric Patrizio"
 ];
 ---