VSL 2014: VIENNA SUMMER OF LOGIC 2014
Simone Martini
Organization: Università di Bologna - Dip. di Informatica
Web site: http://www.cs.unibo.it/~martini
Pages in this Program
Linearity Call for Papers
Linearity Program Committee