Post date: 16-Mar-2011 15:51:45
Upcoming seminar
Linear logic as resource-aware logic
Tuesday, March 22, 2011 - 15:00
Aula F, Dipartimento di Matematica e Informatica - Via Ospedale 72, Cagliari
Paolo di Giamberardino
Laboratoire d'Informatique de Paris 13