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, April 3rd, 2025

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”.

Code of conduct

The CHoCoLa meetings are committed to providing an inclusive and harassment-free environment in all interactions regardless of gender, sexual orientation, disability, physical appearance, race, or religion. This commitment includes onsite and online CHoCoLa meetings, as well as external and internal communication. It concerns any interaction regardless of affiliation or position. As a community that aims to share ideas and freedom of thought and expression, it is essential that the interaction between attendees take place in an environment that recognises the inherent worth of every person by being respectful of all. The CHoCoLa meetings do not tolerate harassment in any form. Harassment is any form of behaviour intended to exclude, intimidate, or cause discomfort. Harassment includes, but is not limited to, the use of abusive or degrading language or media, intimidation, stalking, harassing photography or recording, inappropriate physical contact, and unwelcome sexual attention, and posting unwanted targeted content (e.g., cyberbullying, or content that is sexual or violent in nature).

Anyone who experiences, observes, or has knowledge of threatening behaviour is encouraged to immediately report the incident to chocola-vss@listes.ens-lyon.fr. All information shared will be kept confidential. In cases where a public response is deemed necessary, the identities of victims and reporters will remain confidential unless those individuals consent otherwise.

The organisers of the CHoCoLa meetings reserve the right to take appropriate action to foster an inclusive and respectful environment. Attendees violating these rules may be asked to leave the conference, at the sole discretion of the CHoCoLa meetings organisers.

Contacts

For more information, you may contact one of the local correspondents:

If your site does not have a natural correspondent above, do not hesitate to contact one of the people in Lyon.