Rencontres mensuelles “CHoCoLa”

Un jeudi par mois,
sur une journée complète

Lieu : ENS de Lyon

Dans la continuité du projet ANR CHoCo, sont organisées à l’ENS de Lyon des rencontres mensuelles visant à fédérer la communauté informatique française autour du domaine du calcul et de la logique.

Chaque journée s’articule autour d’exposés suivis de discussions informelles sur les thématiques : logique, calcul, sémantique, Curry-Howard, réécriture, chocolat, concurrence, réalisabilité, théorie des types, complexité implicite, typage, preuves…

> Ouvert aux doctorants

>> Calendrier des rencontres

 


Site