VSL 2014: VIENNA SUMMER OF LOGIC 2014
Reiner Hähnle
Organization: Technical University of Darmstadt
Web site: http://www.se.tu-darmstadt.de
Pages in this Program
ARQNL Call for Papers
ARQNL Program Committee
ARW-DT Call for Papers
ARW-DT on Wednesday, July 23rd, 2014
ARW-DT Program
ARW-DT Program Committee
Program
Program for Thursday, July 17th, 2014
Program for Wednesday, July 23rd, 2014
VERIFY on Wednesday, July 23rd, 2014
VERIFY Program
VERIFY Program Committee
VSTTE on Thursday, July 17th, 2014
VSTTE Program
WING Call for Papers
WING on Wednesday, July 23rd, 2014
WING Program
WING Program Committee