---
paige:
  search:
    hide_page: true
  style: |
    #paige-collections,
    #paige-metadata,
    #paige-sections,
    #paige-pages {
        display: none;
    }
    #paige-title {
        font-size: 5rem;
    }
title: "ReFL"
---

<!-- {{% paige/image alt="Landscape" breakpoints=true class="object-fit-cover rounded-4 shadow-lg" fetchpriority="high" height="20rem" loading="eager" process="webp" src="https://images.unsplash.com/photo-1490604001847-b712b0c2f967?w=1296" width="100%" %}}

<br /><br /> -->

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 group where discussions can be initiated between logicians, computer scientists, mathematicians, philosophers and more. We have people with various backgrounds and profiles and we all share a taste for deep questions and the aim of proposing original insights and new perspectives of the foundations of computation and logic. In particular, we take a great interest in the role of computer science in the understanding of 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 are open to English speakers for discussions.

Our Zulip chat: [chat.refl.fr](http://chat.refl.fr)

Our mailing list: `refl@framalistes.org`

**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, software, programming, ...)
- writing, communication, programming projects

# Sponsors

<br />
<p style="font-size: 18px;"><a style="margin-right: 20px;" href="https://zulip.com/"><img src="/images/zulip.png"></a>
Sponsored by Zulip. Zulip is an open-source modern team chat app designed to keep both live and asynchronous conversations organized.</p>