You are here : Version anglaise > About > Scientific events
-
Partager cette page
Meeting
|
Research
Chocola monthly meetings
From January 1, 2024 to June 30, 2024
Un jeudi par mois
ENS de Lyon
Rencontres mensuelles “CHoCoLa” Curry-Howard : Calcul et Logique.
Suite à celles mises en œuvre dans le cadre du projet ANR CHoCo, ces rencontres mensuelles à Lyon, visent à 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.
Les sujets abordés tournent principalement autour de : logique, calcul, sémantique, Curry-Howard, réécriture, chocolat, concurrence, réalisabilité, théorie des types, complexité implicite, typage, preuves…
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.
Les sujets abordés tournent principalement autour de : logique, calcul, sémantique, Curry-Howard, réécriture, chocolat, concurrence, réalisabilité, théorie des types, complexité implicite, typage, preuves…
