Seminar: Nominal Automata for Resource Usage Control
Upcoming SeminarNominal Automata for Resource Usage ControlMay 29th, 12.00Aula F,
Seminar: Differential Interaction Nets and True Concurrency
Upcoming SeminarDifferential Interaction Nets and True ConcurrencyMay 24th 15.00 & May
PhD short course: Proofs and types
Upcoming PhD courseProofs and TypesMay-June 2012 Dipartimento di Matematica e Informatica - Via Ospedale 72, CagliariPaolo Di