Photo

Laboratoire Preuves Programmes et Systèmes
Université Paris Diderot -- Paris 7

PPS 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) .

Valid HTML 4.01 Transitional

Page maintained by Michele Pagani Last update: 18/10/2015, 17:23