VSL 2014: VIENNA SUMMER OF LOGIC 2014
Harald Zankl
Organization: University of Innsbruck
Web site: http://cl-informatik.uibk.ac.at/~hzankl/
Pages in this Program
IWC on Sunday, July 13th, 2014
IWC Program
Program
Program for Friday, July 18th, 2014
Program for Sunday, July 13th, 2014
WPTE Call for Papers
WPTE Program Committee
WST Call for Papers
WST on Friday, July 18th, 2014
WST Program
WST Program Committee