VSL 2014: VIENNA SUMMER OF LOGIC 2014
Carsten Schuermann
Organization: IT University of Copenhagen
Web site: http://www.itu.dk/people/carsten/
Pages in this Program
ARW-DT on Wednesday, July 23rd, 2014
ARW-DT Program
IJCAR Program Committee
LFMTP on Thursday, July 17th, 2014
LFMTP Program
Linearity Call for Papers
Linearity Program Committee
Program
Program for Thursday, July 17th, 2014
Program for Wednesday, July 23rd, 2014
VERIFY on Wednesday, July 23rd, 2014
VERIFY Program
WING on Wednesday, July 23rd, 2014
WING Program