---
import Layout from '../layouts/Layout.astro';
import { Image } from "astro:assets";
---

<Layout>
  <div class="max-w-4xl mx-auto">
    <!-- Hero Section -->
    <section class="text-center py-12">
      <h1 class="text-6xl font-bold mb-4">ReFL</h1>
      <p class="text-xl text-base-content/70 mb-8">Reflexions sur les Fondements de la Logique</p>
    </section>

    <!-- Description -->
    <section class="prose prose-lg mx-auto mb-12">
      <p>
        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.
      </p>
      <p>
        We are inspired by the transdisciplinarity of the LIGC working group, which gathered researchers from various fields around the foundations of (linear) logic.
      </p>
      <p>
        We use French for our discussions, seminars, and meetings, but we welcome English speakers as well.
      </p>
    </section>

    <!-- Contact Links -->
    <section class="flex flex-wrap justify-center gap-4 mb-12">
      <a href="https://refl.zulipchat.com/" target="_blank" rel="noopener noreferrer" class="btn btn-primary">
        Zulip Chat
      </a>
      <a href="mailto:refl@framalistes.org" class="btn btn-outline">
        Mailing List
      </a>
    </section>

    <!-- Scientific Interests -->
    <section class="mb-12">
      <h2 class="text-2xl font-bold mb-6">Our Scientific Interests</h2>
      <ul class="list-disc list-inside space-y-2 text-base-content/80">
        <li>Foundations and philosophy of logic, computation and mathematics</li>
        <li>History of logic and computation</li>
        <li>Category theory and its applications</li>
        <li>Proof-program correspondence and proof/type theory</li>
        <li>Jean-Yves Girard's works: linear logic, proof-nets, ludics, geometry of interaction, transcendental syntax</li>
      </ul>
    </section>

    <!-- Activities -->
    <section class="mb-12">
      <h2 class="text-2xl font-bold mb-6">Our Activities</h2>
      <ul class="list-disc list-inside space-y-2 text-base-content/80">
        <li>Seminars (generally online)</li>
        <li>Debates and discussions on Zulip</li>
        <li>Private meetings in person between some participants</li>
        <li>Collaboration and mutual assistance (thesis, research, programming, ...)</li>
        <li>Writing, communication, programming projects</li>
      </ul>
    </section>

    <!-- Sponsors -->
    <section class="mb-12">
      <h2 class="text-2xl font-bold mb-6">Sponsors</h2>
      <div class="flex items-center gap-6">
        <a href="https://zulip.com/" target="_blank" rel="noopener noreferrer" class="shrink-0">
          <img src="/images/zulip.png" alt="Zulip" class="h-24 w-auto" />
        </a>
        <p class="text-base-content/80">
          Sponsored by Zulip. Zulip is an open-source modern team chat app designed to keep both live and asynchronous conversations organized.
        </p>
      </div>
    </section>
  </div>
</Layout>
