Rencontres mensuelles “CHoCoLa”
Curry-Howard : Calcul et Logique
Description
Suite à celles mises en œuvre dans le cadre du projet ANR CHoCo (2007–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…
Prochaine rencontre
Rencontre, 21 novembre 2024
- Isabelle Collet (Université de Genève), Femmes et numérique : pratiques égalitaires, dispositifs inclusifs
- Adrienne Lancelot (IRIF - Université Paris Cité), Interaction Equivalence
- Théo Winterhalter (Deducteam, INRIA), Dependent Ghosts Have a Reflection for Free
La liste des sessions est disponible au format iCalendar pour intégration dans votre calendrier électronique.
Organisation
Ces rencontres sont organisées un jeudi par mois sur une journée complète à l'ENS Lyon. Le programme typique est constitué de trois exposés plutôt longs (entre 1h et 2h chacun) de 10h30 a 17h00. Les frais de mission des participants enregistrés à l'avance via le système d'inscription sont pris en charge intégralement par les organisateurs des rencontres. Le repas de midi est organisé sur place.
Lieu
Les rencontres ont lieu à l'ENS Lyon, site Monod, là où se trouve l'équipe Plume du laboratoire LIP. Les exposés sont en général dans l'Amphithéâtre B, au troisième étage. Pour plus d'information sur l'accès à l'ENS Lyon, voir la page d'information du LIP ou celle de l'ENS Lyon.
Liste de diffusion
Les annonces seront diffusées uniquement via la liste de
diffusion chocola@ens-lyon.fr. Pour vous inscrire, envoyez à
l'adresse
sympa@listes.ens-lyon.fr
un message dont le sujet est «subscribe chocola Prénom Nom
».
Code de conduite
Les rencontres CHoCoLa s'engagent à fournir un cadre inclusif d'où le harcèlement est banni dans toutes les interactions, indépendamment du genre, de l'orientation sexuelle, du handicap, de l'apparence physique, de la race ou de la religion. Cet engagement concerne les rencontres qu'elles aient lieu sur site ou en ligne, ainsi que la communication interne et externe. Il s'applique à toute interaction, indépendamment de l'affiliation ou du grade. La communauté CHoCoLa promeut la liberté de pensée et d'expression, et, à ce titre, les interactions entre participant.es doivent se tenir dans un environnement qui reconnaisse la valeur intrinsèque de chaque personne en étant respectueux de chacun.e. Les rencontres CHoCoLa ne tolèrent aucune forme de harcèlement. La notion de harcèlement fait référence à toute forme de comportement visant à exclure, intimider, ou procurer un sentiment de malaise. Le harcèlement inclut, sans se limiter à cela, l'utilisation d'un langage insultant ou dégradant, la photographie ou l'enregistrement de manière abusive, un contact physique inapproprié, une attention sexuelle importune, ainsi que le partage de contenu non souhaité visant une personne en particulier (par exemple du cyber-harcèlement, ou du contenu à caractère sexuel ou violent).
Quiconque subit, observe ou est au courant d'un comportement menaçant est encouragé à signaler l'incident sur chocola-vss@listes.ens-lyon.fr. L'information transmise sera maintenue confidentielle. Dans l'éventualité où une réponse publique est nécessaire, les identités des victimes et des personnes à l'origine du signalement demeureront confidentielles, sauf si celles-ci donnent leur accord.
Les organisateurs/organisatrices des rencontres CHoCoLa se réservent le droit d'agir de manière appropriée pour encourager un cadre inclusif et respectueux. Les organisatrices/organisateurs des rencontres CHoCoLa pourront demander à des participant.es qui ne respectent pas ces règles de quitter la rencontre, à leur discrétion.
Correspondants
Pour plus d'informations vous pouvez contacter l'un des correspondants locaux:
- Raphaëlle Crubillé (LIS) – Marseille
- Adrien Guatto (IRIF) – Paris centre
- Daniel Hirschkoff (LIP) – Lyon, Grenoble et autres sites
- Pierre Hyvernat (LAMA) – Chambéry
- Guilhem Jaber (LS2N) – Nantes
- Olivier Laurent (LIP) – Lyon, Grenoble et autres sites
- Étienne Miquey (I2M) – Marseille
- Luc Pellissier (LACL) – Paris Est
- Damien Pous (LIP) – Lyon, Grenoble et autres sites
- Colin Riba (LIP) – Lyon, Grenoble et autres sites
- Gabriel Scherer (Inria Saclay) – Paris Sud
- Thomas Seiller (LIPN) – Paris Nord
Si votre site n'a pas de correspondant naturel ci-dessus, n'hesitez pas a contacter l'un des correspondants lyonnais.