Rencontre
ENS Lyon
https://chocola.ens-lyon.fr/events/
Date(s) : 30/03/2023 iCal
10 h 30 min - 17 h 00 min
Suite à celles mises en œuvre dans le cadre du projet ANR CHoCo (2006–2010), 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…
Voir https://chocola.ens-lyon.fr/events/seminaire-2023-03-30/
Programme
- Pierre Clairambault (LIS, CNRS), The Geometry of Causality : Multi-token Geometry of Interaction and Its Causal Unfolding
- Jules Jacobs (Radboud University), Fast Coalgebraic Bisimilarity Minimization
- Will Troiani (LIPN and Melbourne (Australia)), Computation in logic as the splitting of idempotents in algebraic geometry; two models of multiplicative linear logic
Emplacement
ENSL - École normale supérieure de Lyon
Catégories