Martedì 22 marzo alle ore 15
Aula F del Dipartimento di Matematica e Informatica
Cagliari, Via Ospedale 72, 1° piano
 
 
seminario
Logica lineare come "resource-aware logic"

a cura del dottor 
Paolo Di Giamberardino
Laboratoire d'Informatique de Paris 13

 
Tutti gli interessati sono cordialmente invitati.

(ic)