Lambda-calculus, type theory, linear logic, category theory, classical realizability, philosophy of mathematics -- Università di Bologna
-- [Pablo Donato 🌸](https://pablogician.refl.fr/) (administrator)proof theory, type theory, topos theory, proof assistants, human-computer interaction, end-user programming -- Grothendieck Institute
-- [Boris Eng 🦖](https://engboris.refl.fr) (administrator, coordinator)Lambda-calculus, type theory, homotopy type theory, Dedukti, directed homotopy theory, rewriting -- Université Aix-Marseille
-
-# Members
-
-- Victor Benitah
formal systems explorer, co-founder of an electronic firm -- Airline pilot at Air France
-- [Hugo Cadière](https://www.univ-lyon3.fr/m-hugo-cadiere)
Philosophy of mathematics / computer Science / language / mind, German Idealism and XXth century German philosohy -- Université Jean-Moulin Lyon 3
-- [Pierre Cardascia 🎲](https://suboptimal.games/)
Philosophy, Game Design, Entrepreneurship, Immersive Experience, Poetry -- SubOptimal Games (private company)
-- Baptiste Chanus
Descriptive complexity -- Université Paris 1 Panthéon-Sorbonne
-- [Kostia Chardonnet](https://kostiachardonnet.github.io/)
Computer science, quantum computation, cyclic proofs -- Centre Inria de l'Université de Lorraine (MOCQUA)
-- [Sidney Congard](https://dwarfobserver.github.io/)
Semantics of programming languages -- Centre Inria de l'Université de Rennes (Gallinette)
-- [Xavier Denis](https://xav.io/)
Deductive verification and specification of Rust programs
-- Pierre Benjamin Giraud
Multi-dimensional (Logic ⊗ (Cubes & Rewriting systems) ⊗ Automata), automata for proofs, philoTechny of mathematics -- Centre Inria de l'Université de Rennes (Gallinette)
-- [Charles Grellois](https://www.sheffield.ac.uk/cs/people/academic/charles-grellois)
- Semantics, (linear) logic, automata theory, higher-order model-checking, mathematical modeling, probabilistic termination, algebra/categories to model real-world problems - University of Sheffield
-- Jérémy Hervé 🍄
Mushrooms, operating systems design -- Independent
-- [Ambroise Lafont](https://amblafont.github.io/)
Type Theory and Category Theory -- École Polytechnique (LIX)
-- [Luc Pommeret](https://lucpommeret.com/)
Logic, LLM (Machine learning) -- Laboratoire Interdisciplinaire des Sciences du Numérique de Paris-Saclay (LISN)
-- Adrien Ragot
Proof-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 Moreau](https://www.irif.fr/~moreau/)
Category theory, type theory, denotational semantics, topology, algebra, proof assistants -- Université Paris Cité (IRIF)
-- François-René Rideau (Faré)
-- [Tito](https://nguyentito.eu/)
Links between linear logic and automata theory, combinatorics, computational complexity, algorithms -- CNRS & Aix-Marseille
-
-# Visitors and guests
-
-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, Roman Perez, Nico, Chirine
-Laghjichi, Jonty Male, Alexis Toumi, Baptiste Colin.
diff --git a/content/refli2025.md b/content/refli2025.md
deleted file mode 100644
index c66945f..0000000
--- a/content/refli2025.md
+++ /dev/null
@@ -1,38 +0,0 @@
----
-title: "ReFLi 2025 Meeting"
----
-
-Rencontre du **28 avril 2025** au **2 mai 2025** à Lizio (Morbihan).
-
-**Organisateurs :**
-- Victor Benitah;
-- Boris Eng;
-- Jérémy Hervé.
-
-La rencontre est organisée par l'association _"Reflets Intemporels"_ fondée
-pour l'occasion.
-
-Il s'agit d'une rencontre réunissant environ 16 personnes. Parmi ces
-participants, des membres et proches du réseau de recherche _ReFL_ et de la
-société privée d'électronique _Crystal_.
-
-Cette rencontre est l'occasion d'exprimenter à la fois les capacités de ReFL et
-Crystal à organiser et des rencontres scientifiques mais aussi d'explorer des
-méthodes différentes de communication et de collaboration. Les suggestions
-d'activités comprennent des sessions d'échanges cadrés et quelques exposés
-très courts.
-
-La rencontre tournera autour des grands thèmes de la **vérité**, de la
-**fiabilité** et de la notion de **système**, teinté d'ingénierie mais sans y
-être limité.
-
-**Autres sujets d'intérêt des participants :**
-- fondements de la logique et des mathématiques;
-- epistémologie;
-- cybernétique et systèmes complexes;
-- musique;
-- enseignement;
-- électronique;
-- conception des langages de programmation et des systèmes d'exploitation;
-- fiabilité des systèmes;
-- décentralisation (internet, blockchains, ...).
diff --git a/content/resources.md b/content/resources.md
deleted file mode 100644
index d27c31a..0000000
--- a/content/resources.md
+++ /dev/null
@@ -1,16 +0,0 @@
----
-title: "Resources"
----
-
-- *"Le fantôme de la transparence"* -- Jean-Yves Girard
-- [*Syntaxe transcendentale (Wikipédia)*](https://fr.wikipedia.org/wiki/Syntaxe_transcendantale)
-- [*Transcendental Syntax (nlab)*](https://ncatlab.org/nlab/show/transcendental+syntax)
-- [*"An exegesis of transcendental syntax" (PhD thesis)* -- Boris Eng](https://hal.science/tel-04179276v1)
-- [*"La logique face à l'arbitraire" (French)* -- Sidney Congard](https://hal.science/hal-03689001/document)
-- [*"Les limites de la correspondance preuve/programme" (French)* -- Laurent Regnier](https://www.i2m.univ-amu.fr/perso/laurent.regnier/articles/ch.pdf)
-- [*"Aristote et l’électricien : le branchement des idées" (French video)* -- Paolo Pistone](https://vimeo.com/167115532)
-- [*"D'une logique à l'autre" (French video)* -- Laurent Regnier](https://vimeo.com/314743657)
-- [*"Symmetry and interactivity in Programming"* -- Pierre-Louis Curien](https://hal.archives-ouvertes.fr/hal-00003868/)
-- [*"Radical anti-realism and substructural logics"* -- Jacques Dubucs & Mathieu Marion](https://halshs.archives-ouvertes.fr/halshs-00000055/)
-- [*"Which Logic for the Radical Anti-Realist?"* -- Denis Bonnay & Mikaël Cozic](https://halshs.archives-ouvertes.fr/halshs-00775655)
-- [*"Rule-Following and the Limits of Formalization: Wittgenstein’s Considerations Through the Lens of Logic" -- Paolo Pistone*](https://hal.archives-ouvertes.fr/hal-01309218)
diff --git a/go.mod b/go.mod
deleted file mode 100644
index 7a9f208..0000000
--- a/go.mod
+++ /dev/null
@@ -1,5 +0,0 @@
-module git.epidictic.fr/ReFL/www-refl-fr
-
-go 1.18
-
-require github.com/willfaught/paige v0.75.0 // indirect
diff --git a/go.sum b/go.sum
deleted file mode 100644
index 405116a..0000000
--- a/go.sum
+++ /dev/null
@@ -1,2 +0,0 @@
-github.com/willfaught/paige v0.75.0 h1:ZwneL6YjYif4MQ6ROnbiQX9apY5hXoplsVPPt3kTgRI=
-github.com/willfaught/paige v0.75.0/go.mod h1:0Nt8ifl7UVYQIBaMtpZmg+BrQHHzFNqKcrBoA2Oo4/E=
diff --git a/hugo.toml b/hugo.toml
deleted file mode 100644
index 3c1c46b..0000000
--- a/hugo.toml
+++ /dev/null
@@ -1,70 +0,0 @@
-baseurl = "https://refl.fr"
-copyright = "© ReFL, website based on Will Fraught's Paige theme for Hugo"
-enablerobotstxt = true
-languagecode = "en-us"
-timezone = "Europe/Paris"
-titlecasestyle = "Go"
-
-[languages.en]
-title = "ReFL"
-weight = 10
-
-[[languages.en.menu.main]]
-identifier = "home"
-name = "Home"
-url = "/"
-weight = 10
-
-[[languages.en.menu.main]]
-identifier = "members"
-name = "Members"
-url = "/members/"
-weight = 20
-
-[[languages.en.menu.main]]
-identifier = "meetings"
-name = "Meetings"
-url = "/meetings/"
-weight = 40
-
-[[languages.en.menu.main]]
-identifier = "resources"
-name = "Resources"
-url = "/resources/"
-weight = 50
-
-[markup.goldmark.renderer]
-unsafe = true
-
-[markup.highlight]
-noclasses = false
-
-[markup.tableofcontents]
-endlevel = 6
-ordered = true
-startlevel = 2
-
-[[module.imports]]
-path = "github.com/willfaught/paige"
-
-[params.authors.will-faught]
-default = true
-email = "will.faught@example.com"
-name = "Will Faught"
-url = "https://willfaught.com/paige"
-
-[params.paige]
-site_title = "ReFL"
-site_description = "Réflexions sur les Fondements de la Logique"
-
-[params.paige.git]
-commit_url = "https://github.com/willfaught/paige/commit/%s"
-
-[params.paige.feed.rss]
-managing_editor = "will.faught@example.com (Will Faught)"
-web_master = "will.faught@example.com (Will Faught)"
-
-[params.paige.file_link]
-content = "Edit this page"
-disable = true
-url = "https://github.com/willfaught/paige/edit/master/exampleSite/content/%s"
diff --git a/layouts/home.html b/layouts/home.html
deleted file mode 100644
index 1f455a4..0000000
--- a/layouts/home.html
+++ /dev/null
@@ -1,7 +0,0 @@
-{{ define "main" }}
-{{ $page := . }}
-
-{{ partial "paige/article.html" $page }}
-{{ partial "paige/pages.html" $page }}
-
-{{ end }}
diff --git a/layouts/partials/paige/footer-first.html b/layouts/partials/paige/footer-first.html
deleted file mode 100644
index 7c9331b..0000000
--- a/layouts/partials/paige/footer-first.html
+++ /dev/null
@@ -1 +0,0 @@
-
\ No newline at end of file
diff --git a/layouts/partials/paige/head-first.html b/layouts/partials/paige/head-first.html
deleted file mode 100644
index 31a5826..0000000
--- a/layouts/partials/paige/head-first.html
+++ /dev/null
@@ -1,9 +0,0 @@
-
-
-
diff --git a/layouts/partials/paige/main-first.html b/layouts/partials/paige/main-first.html
deleted file mode 100644
index 1d6667d..0000000
--- a/layouts/partials/paige/main-first.html
+++ /dev/null
@@ -1 +0,0 @@
-
\ No newline at end of file
diff --git a/layouts/partials/paige/style-first.css b/layouts/partials/paige/style-first.css
deleted file mode 100644
index 166f081..0000000
--- a/layouts/partials/paige/style-first.css
+++ /dev/null
@@ -1,49 +0,0 @@
-#paige-authors,
-#paige-breadcrumbs,
-#paige-credit,
-#paige-date,
-#paige-keywords,
-#paige-reading-time,
-#paige-series,
-#paige-toc,
-.paige-authors,
-.paige-date,
-.paige-date-header,
-.paige-keywords,
-.paige-reading-time,
-.paige-series,
-.paige-summary {
- display: none;
-}
-
-#paige-content {
- font-size: 1.25rem;
- font-weight: 300;
-}
-
-b, strong {
- font-weight: bold;
-}
-
-hr {
- opacity: 0.15;
-}
-
-.desc-box {
- font-size: 16px;
- color: rgb(120, 120, 120);
-}
-
-a {
- font-weight: bolder;
- text-decoration: none;
- color: rgb(40, 173, 145);
-}
-
-a:hover {
- opacity: 0.5;
-}
-
-.nav-link {
- color: rgb(40, 173, 145);
-}
\ No newline at end of file
diff --git a/static/documents/cardascia-01-11-2024.pdf b/static/documents/cardascia-01-11-2024.pdf
deleted file mode 100644
index a288fc3..0000000
Binary files a/static/documents/cardascia-01-11-2024.pdf and /dev/null differ
diff --git a/static/images/zulip.png b/static/images/zulip.png
deleted file mode 100644
index d38b5e8..0000000
Binary files a/static/images/zulip.png and /dev/null differ
-Sponsored by Zulip. Zulip is an open-source modern team chat app designed to keep both live and asynchronous conversations organized.