Français English

Maîtresse de Conférences de l'Université Paris-Saclay (Université Paris-Sud)

Je suis membre du Laboratoire de Méthodes Formelles, enseignante au département informatique de l'IUT d'Orsay.

Affiliation courte : LMF, Université Paris-Saclay
Affiliation complète : Université Paris-Saclay, CNRS, ÉNS Paris-Saclay, Laboratoire Méthodes Formelles, 91190, Gif-sur-Yvette, France

Courriel : Chantal.Keller at lri.fr

Adresse :
LMF - Laboratoire Méthodes Formelles
4, avenue des Sciences
91190 Gif-sur-Yvette
France

Bureau : 2S61 (deuxième étage)

Téléphone : +33 (0) 1 81 87 54 64

• Je coordonne le groupe de travail Digicosme UPSCaLe commun entre le LIX, le LMF, le LSV, le Samovar, l'U2IS, et Inria Saclay - Île-de-France.
• En 2022, je suis membre des comités de programme d'ITP et de SMT, et présidente des JFLA.
• En 2023, je serai membre du comité de programme de CPP.
  
  
• En 2021, j'étais membre des comités de programme d'ITP et TAP, vice-présidente des JFLA et co-chair de PxTP.
• En 2020, j'étais membre des comités de programme des JFLA, TAP, et SMT.
  
• En 2019, j'étais membre des comités de programme de CPP, Coq workshop, TyDe et PxTP, et je coordonne la conférence TAP.
• En 2018, j'étais membre des comités de programme d'ITP, LFMTP, CoqPL, OBT, PAAR et TAP.
• En 2017, j'étais membre du comité de programme externe de POPL et du comité de programme de PxTP.
• En 2016, j'étais membre des comités de programme de MSFP, PAAR, LFMTP et HATT.

Recherche Activités de recherche, publications	Enseignement Activités d'enseignement, documents
Études Études, projets	Divers Autres activités

Dernière mise à jour le 8 juin 2022