-
Recherche
- Présentation
- Trimestres et mois thématiques
- Evénements scientifiques
-
Chercheurs invités
- Chercheurs invités 2021
- Chercheurs invités 2022
- Chercheurs invités 2023
-
Post-doctorants Milyon
- Post-doctorants 2022
- Post-doctorants 2023
- Publications
- Prix, honneurs, bourses de recherche
- Portraits de chercheurs
- Formation
- Médiation
- Entreprise
-
Appels à candidature
- Appels en cours
- Étudiants : Bourses d'excellence
- Doctorants : contrats doctoraux
- Post-doctorants : contrats post-doctoraux
- Chercheurs : Aide à la mobilité
- Contacts
Vous êtes ici : Version française > Présentation > Evénements scientifiques
-
Partager cette page
Rencontre - débat
|
Recherche
Rencontres mensuelles CHoCoLa
Du 1 janvier 2022 au 1 juillet 2022
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…
En savoir plus
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…
En savoir plus