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
new file mode 100644
index 0000000..c66945f
--- /dev/null
+++ b/content/refli2025.md
@@ -0,0 +1,38 @@
+---
+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
new file mode 100644
index 0000000..d27c31a
--- /dev/null
+++ b/content/resources.md
@@ -0,0 +1,16 @@
+---
+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
new file mode 100644
index 0000000..7a9f208
--- /dev/null
+++ b/go.mod
@@ -0,0 +1,5 @@
+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
new file mode 100644
index 0000000..405116a
--- /dev/null
+++ b/go.sum
@@ -0,0 +1,2 @@
+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
new file mode 100644
index 0000000..3c1c46b
--- /dev/null
+++ b/hugo.toml
@@ -0,0 +1,70 @@
+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
new file mode 100644
index 0000000..1f455a4
--- /dev/null
+++ b/layouts/home.html
@@ -0,0 +1,7 @@
+{{ 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
new file mode 100644
index 0000000..7c9331b
--- /dev/null
+++ b/layouts/partials/paige/footer-first.html
@@ -0,0 +1 @@
+
\ No newline at end of file
diff --git a/layouts/partials/paige/head-first.html b/layouts/partials/paige/head-first.html
new file mode 100644
index 0000000..31a5826
--- /dev/null
+++ b/layouts/partials/paige/head-first.html
@@ -0,0 +1,9 @@
+
+
+
diff --git a/layouts/partials/paige/main-first.html b/layouts/partials/paige/main-first.html
new file mode 100644
index 0000000..1d6667d
--- /dev/null
+++ b/layouts/partials/paige/main-first.html
@@ -0,0 +1 @@
+
\ No newline at end of file
diff --git a/layouts/partials/paige/style-first.css b/layouts/partials/paige/style-first.css
new file mode 100644
index 0000000..166f081
--- /dev/null
+++ b/layouts/partials/paige/style-first.css
@@ -0,0 +1,49 @@
+#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
new file mode 100644
index 0000000..a288fc3
Binary files /dev/null and b/static/documents/cardascia-01-11-2024.pdf differ
diff --git a/static/images/zulip.png b/static/images/zulip.png
new file mode 100644
index 0000000..d38b5e8
Binary files /dev/null and b/static/images/zulip.png differ
+Sponsored by Zulip. Zulip is an open-source modern team chat app designed to keep both live and asynchronous conversations organized.