Monthly “CHoCoLa” meetings
Curry-Howard: Logic and Computation
Description
Following on those organized by the ANR project CHoCo (2006–2010), we set up monthly meetings in Lyon with the aim of gathering a community (French in particular) around the domain of logic and computation. Each day will be structured around a few talks, with long breaks leaving space for informal discussions. Particular attention is given to the participation of graduate students.
For instance, represented topics will likely include: logics, computation, semantics, curry-Howard, rewriting, chocolate, concurrency, realizability, type theory, implicit computational complexity, typing, proofs…
Next meeting
Rencontre, October 17th, 2024
La rencontre aura lieu en amphi B, sur le site Monod de l'ENS de Lyon.
La rencontre sera diffusée en ligne, à l'adresse suivante : https://bigbluebutton2.ens-lyon.fr/b/dan-xnb-2kl-ecy le code d'accès est 678064 à l'envers, et il faut penser à autoriser les pop-ups.
- Jonas Frey (LIPN, Université Sorbonne Paris-Nord), The shape of contexts
- Dominik Kirst (IRIF - Université Paris Cité), Separating Markov’s Principles in Constructive Type Theories
- Pierre-Marie Pédrot (Galinette, INRIA), Upon This Quote I Will Build My Church Thesis
The list of all sessions is available in iCalendar format for integration in your digital calendar.
Organization
The meetings are organized one thursday per month for a full day at ENS Lyon. A typical programme consists in three rather long talks (between one and two hours each), from 10:30 to 17:00. Travel expenses for participants registered in advance on the registration system will be fully funded by the organizers of the meetings. Lunches are provided.
Location
The meetings take place at ENS Lyon, site Monod, where the Plume team of the LIP laboratory is located. The meetings are usually in Amphitéâtre B, on the third floor. For information on how to reach ENS Lyon, see the information page of the LIP or that of ENS Lyon.
Mailing list
Announcements will be sent exclusively on the mailing list
chocola@ens-lyon.fr. To subscribe, please send a message to
sympa@listes.ens-lyon.fr
with subject “subscribe chocola First_name Last_name”.
Contacts
For more information, you may contact one of the local correspondents:
- Raphaëlle Crubillé (LIS) – Marseille
- Adrien Guatto (IRIF) – Paris centre
- Daniel Hirschkoff (LIP) – Lyon, Grenoble et autres sites
- Pierre Hyvernat (LAMA) – Chambéry
- Guilhem Jaber (LS2N) – Nantes
- Olivier Laurent (LIP) – Lyon, Grenoble et autres sites
- Étienne Miquey (I2M) – Marseille
- Luc Pellissier (LACL) – Paris Est
- Damien Pous (LIP) – Lyon, Grenoble et autres sites
- Colin Riba (LIP) – Lyon, Grenoble et autres sites
- Gabriel Scherer (Inria Saclay) – Paris Sud
- Thomas Seiller (LIPN) – Paris Nord
If your site does not have a natural correspondent above, do not hesitate to contact one of the people in Lyon.
