|
|
|
|
|
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 |
