Photo

Institut de Recherche en Informatique Fondamentale
Université Paris Diderot -- Paris 7

IRIF logo CNRS logo

Michele Pagani

Professeur de l'UFR Informatique - Université Paris Diderot


Home

Contact

Research

Teaching


ANR project: COQUAS — COmputing with QUAntitative Semantics .
Conferences: POPL2017 (PC) , LICS2016 (PC) , CIE2016 (OC) .
Rencontres mensuelles: CHoCoLa (OC) .

Page maintained by Michele Pagani Last update: 23/02/2017