Français English

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

Je suis membre de l'équipe VALS du Laboratoire de Recherche en Informatique, enseignante au département informatique de l'IUT d'Orsay.

Affiliation courte : LRI, Université Paris-Saclay
Affiliation complète : Université Paris-Saclay, CNRS, Laboratoire de recherche en informatique, 91405, Orsay, France

Courriel : Chantal.Keller at lri.fr

Adresse :
LRI, bâtiment 650
1 rue Raimond Castaing
91190 Gif-sur-Yvette
France

Bureau : 70 (rez-de-chaussée)

Téléphone : +33 (0) 1 69 15 68 89

• Je coordonne le groupe de travail Digicosme UPSCaLe commun entre le LIX, le LRI, le LSV, le Samovar, l'U2IS, et Inria Saclay - Île-de-France.
• En 2021, je serai membre du comité de programme d'ITP, vice-présidente des JFLA et co-chair de PxTP.
• En 2020, je suis 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 22 juin 2020