ReFL

Reflexions sur les Fondements de la Logique

2022 – 2026

What ReFL was

ReFL was a French scientific network on the foundations of logic and computation. It was founded by four PhD students during the "Linear Logic Winter School 2022", and grew into a broader community bringing together logicians, computer scientists, mathematicians and philosophers, from academia as well as from industry, who shared a taste for deep questions and the ambition of proposing original insights on the foundations of computation and logic. The role of computer science in understanding logic was a constant concern.

The group was inspired by the transdisciplinarity of the LIGC working group, which gathered researchers from various fields around the foundations of (linear) logic. Discussions, seminars and meetings were held in French, but English speakers were always welcome.

Its recurring interests were the foundations and philosophy of logic, computation and mathematics, the history of logic and computation, category theory and its applications, the proof-program correspondence and proof/type theory, and the works of Jean-Yves Girard: linear logic, proof-nets, ludics, geometry of interaction and transcendental syntax.

Its activities were online seminars, debates on Zulip, private in-person meetings, mutual assistance around theses, research and programming, and collective writing and programming projects.

Founders

Members

Over the years, ReFL also gathered:

One last gathering

Farewell meeting in Antony

October 10, 2026 · Organized by Pierre Benjamin Giraud

Before the community closes for good, a final meeting takes place in Antony. Details are given by email to past members.

Past events

Some meetings were private and informal. For these reasons, they are not recorded here.

← Back