|
|
|
|
|
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: 18/10/2015, 17:23 |
