Rencontres mensuelles “CHoCoLa”
Curry-Howard : Calcul et Logique

Description

Suite à celles mises en œuvre dans le cadre du projet ANR CHoCo, nous mettons en place des rencontres mensuelles à Lyon, visant à fédérer la communauté (française en particulier) autour du domaine du calcul et de la logique. Chaque journée s'articulera autour de quelques exposés, avec d'importantes pauses pour laisser le temps aux discussions informelles. Une attention particuliere est portée a l'ouverture aux doctorants.

À titre indicatif, les sujets abordés tourneront certainement autour de : logique, calcul, sémantique, Curry-Howard, réécriture, chocolat, concurrence, réalisabilité, théorie des types, complexité implicite, typage, preuves…

Prochaine rencontre

Rencontre, 12 janvier 2017

Organisation

Ces rencontres sont organisées un jeudi par mois sur une journée complète à l'ENS Lyon. Le programme typique est constitué de trois exposés plutôt longs (entre 1h et 2h chacun) de 10h30 a 17h00. Les frais de mission des participants enregistrés à l'avance via le système d'inscription sont pris en charge intégralement par les organisateurs des rencontres. Le repas de midi est organisé sur place.

Lieu

Les rencontres ont lieu à l'ENS Lyon, site Monod, là où se trouve l'équipe Plume du laboratoire LIP. Les exposés sont en général dans l'Amphithéâtre B, au troisième étage. Pour plus d'information sur l'accès à l'ENS Lyon, voir la page d'information du LIP ou celle de l'ENS Lyon.

Liste de diffusion

Les annonces seront diffusées uniquement via la liste de diffusion chocola@ens-lyon.fr. Pour vous inscrire, envoyez à l'adresse sympa@listes.ens-lyon.fr un message dont le sujet est «subscribe chocola Prénom Nom».

Correspondants

Pour plus d'informations vous pouvez contacter l'un des correspondants locaux:

Si votre site n'a pas de correspondant naturel ci-dessus, n'hesitez pas a contacter l'un des correspondants lyonnais.