ReFL
Reflexions sur les Fondements de la Logique
A French scientific network on the foundations of logic and computation. The group was initially founded by four PhD students during the "Linear Logic Winter School 2022", but we now aim for a broader community bringing together logicians, computer scientists, mathematicians, philosophers, and more. Our members come from various backgrounds, both from academia and industry, and share a taste for deep questions, with the aim of proposing original insights and new perspectives on the foundations of computation and logic. In particular, we take a great interest in the role of computer science in understanding logic.
We are inspired by the transdisciplinarity of the LIGC working group, which gathered researchers from various fields around the foundations of (linear) logic.
We use French for our discussions, seminars, and meetings, but we welcome English speakers as well.
Our Scientific Interests
- Foundations and philosophy of logic, computation and mathematics
- History of logic and computation
- Category theory and its applications
- Proof-program correspondence and proof/type theory
- Jean-Yves Girard's works: linear logic, proof-nets, ludics, geometry of interaction, transcendental syntax
Our Activities
- Seminars (generally online)
- Debates and discussions on Zulip
- Private meetings in person between some participants
- Collaboration and mutual assistance (thesis, research, programming, ...)
- Writing, communication, programming projects
Sponsors
Sponsored by Zulip. Zulip is an open-source modern team chat app designed to keep both live and asynchronous conversations organized.