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

Update members and refli2025

This commit is contained in:
engboris 2025-03-22 10:28:51 +01:00
parent b3d0455ebe
commit a046b727f9
2 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
content/members.md
View File

@ -17,8 +17,9 @@ title: "Members"
- [Pierre Cardascia 🎲](https://suboptimal.games/)<div class="desc-box">Philosophy, Game Design, Entrepreneurship, Immersive Experience, Poetry -- SubOptimal Games (private company)</div> - [Pierre Cardascia 🎲](https://suboptimal.games/)<div class="desc-box">Philosophy, Game Design, Entrepreneurship, Immersive Experience, Poetry -- SubOptimal Games (private company)</div>
- Baptiste Chanus<div class="desc-box">Descriptive complexity -- Université Paris 1 Panthéon-Sorbonne</div> - Baptiste Chanus<div class="desc-box">Descriptive complexity -- Université Paris 1 Panthéon-Sorbonne</div>
- [Kostia Chardonnet](https://kostiachardonnet.github.io/)<div class="desc-box">Computer science, quantum computation, cyclic proofs -- Centre Inria de l'Université de Lorraine (MOCQUA)</div> - [Kostia Chardonnet](https://kostiachardonnet.github.io/)<div class="desc-box">Computer science, quantum computation, cyclic proofs -- Centre Inria de l'Université de Lorraine (MOCQUA)</div>
- [Sidney Congard](https://dwarfobserver.github.io/)<div class="desc-box">Semantics of programming languages -- Centre Inria de l'Université de Rennes (Galinette)</div> - [Sidney Congard](https://dwarfobserver.github.io/)<div class="desc-box">Semantics of programming languages -- Centre Inria de l'Université de Rennes (Gallinette)</div>
- [Xavier Denis](https://xav.io/)<div class="desc-box">Deductive verification and specification of Rust programs</div> - [Xavier Denis](https://xav.io/)<div class="desc-box">Deductive verification and specification of Rust programs</div>
- [Pierre Benjamin Giraud]<div class="desc-box">Multi-dimensional (Logic ⊗ (Cubes & Rewriting systems) ⊗ Automata), automata for proofs, philoTechny of mathematics -- Centre Inria de l'Université de Rennes (Gallinette)</div>
- [Charles Grellois](https://www.sheffield.ac.uk/cs/people/academic/charles-grellois)<div class="desc-box"> - [Charles Grellois](https://www.sheffield.ac.uk/cs/people/academic/charles-grellois)<div class="desc-box">
Semantics, (linear) logic, automata theory, higher-order model-checking, mathematical modeling, probabilistic termination, algebra/categories to model real-world problems - University of Sheffield</div> Semantics, (linear) logic, automata theory, higher-order model-checking, mathematical modeling, probabilistic termination, algebra/categories to model real-world problems - University of Sheffield</div>
- Jérémy Hervé 🍄<div class="desc-box">Mushrooms, operating systems design -- Independent</div> - Jérémy Hervé 🍄<div class="desc-box">Mushrooms, operating systems design -- Independent</div>
@ -35,5 +36,4 @@ Titouan Carette, Clémence Chanavat, Bernardo Marques, Julien Marquet, Rémi
Nollet, Federico Olimpieri, Raphael Tossings, Pierre Vial, Quentin, Gael Deest, Nollet, Federico Olimpieri, Raphael Tossings, Pierre Vial, Quentin, Gael Deest,
Martin Tricaud, Fadi Shawki, Eliès Harington, Axel Kerinec, Aloÿs Dufour, Martin Tricaud, Fadi Shawki, Eliès Harington, Axel Kerinec, Aloÿs Dufour,
Bernardo, Anne-Laure, Escherichia, Alexey, François-René Rideau (Faré), Roman Bernardo, Anne-Laure, Escherichia, Alexey, François-René Rideau (Faré), Roman
Perez, Nico, Chirine Laghjichi, Jonty Male, Alexis Toumi, Baptiste Colin, Perez, Nico, Chirine Laghjichi, Jonty Male, Alexis Toumi, Baptiste Colin.
Pierre Giraud.

2
content/refli2025.md
View File

@ -2,7 +2,7 @@
title: "ReFLi 2025 Meeting" title: "ReFLi 2025 Meeting"
--- ---
Rencontre du **28 avril 2025** au **2 mai 2025** au Morbihan. Rencontre du **28 avril 2025** au **2 mai 2025** à Lizio (Morbihan).
**Organisateurs :** **Organisateurs :**
- Victor Benitah; - Victor Benitah;