Rencontre - débat | Recherche

Reprise des séminaires Chocola

Du 19 novembre 2020 au 25 mars 2021

Un jeudi par mois 
En ligne 

Chocola revient sur vos écrans !

Les séminaires Chocola font leur retour en ligne ! 

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…

Plus d'infos ici