Monthly “CHoCoLa” meetings
Curry-Howard: Logic and Computation

Description

Following on those organized by the ANR project CHoCo, 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…

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.

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:

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