ReFL
/
refl.fr
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Update meetings

This commit is contained in:
engboris 2025-12-03 22:35:15 +01:00
parent cf33c5dbe5
commit 26d3f3a155
2 changed files with 2 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
content/meetings.md
View File

@ -4,8 +4,9 @@ title: "Meetings"
Some meetings were private and informal. For these reasons, they are not recorded here. Some meetings were private and informal. For these reasons, they are not recorded here.
- **"Meeting around Jean-Yves Girard"** (Nov 23th, 2025) (4 people).
- **"Meeting RI2025 in Morbihan"** (April 28th -- May 2nd, 2025) organised by Jérémy Hervé, Boris Eng, Victor Benitah (around 16 people). - **"Meeting RI2025 in Morbihan"** (April 28th -- May 2nd, 2025) organised by Jérémy Hervé, Boris Eng, Victor Benitah (around 16 people).
+ [Details of the meeting](/ri2025/) + [Details of the meeting](/refli2025/)
- **"Fondements esthétiques de la logique"** (November 1st, 2024) by Pierre Cardascia (16 people). - **"Fondements esthétiques de la logique"** (November 1st, 2024) by Pierre Cardascia (16 people).
+ ["Morts du mythe, de l’art, de la philosophie, de la logique : Itinéraire d’un problème serial-killer"](/documents/cardascia-01-11-2024.pdf), Pierre Cardascia (1h30) + ["Morts du mythe, de l’art, de la philosophie, de la logique : Itinéraire d’un problème serial-killer"](/documents/cardascia-01-11-2024.pdf), Pierre Cardascia (1h30)
- **"Introduction to transcendental syntax"** (June 20th, 2024) by Boris Eng and Pablo Donato (5 people). - **"Introduction to transcendental syntax"** (June 20th, 2024) by Boris Eng and Pablo Donato (5 people).

6
hugo.toml
View File

@ -21,12 +21,6 @@ name = "Members"
url = "/members/" url = "/members/"
weight = 20 weight = 20
[[languages.en.menu.main]]
identifier = "refli2025"
name = "ReFLi 2025 Meeting"
url = "/refli2025/"
weight = 35
[[languages.en.menu.main]] [[languages.en.menu.main]]
identifier = "meetings" identifier = "meetings"
name = "Meetings" name = "Meetings"