VSL 2014: VIENNA SUMMER OF LOGIC 2014
Manfred Schmidt-Schauss
Organization: Inst. for Informatik, Goethe-University Frankfurt
Web site: http://www.ki.informatik.uni-frankfurt.de
Pages in this Program
Program
Program for Monday, July 14th, 2014
Program for Sunday, July 13th, 2014
Program for Wednesday, July 16th, 2014
RTA-TLCA on Monday, July 14th, 2014
RTA-TLCA on Wednesday, July 16th, 2014
RTA-TLCA Program
UNIF Call for Papers
UNIF Home Page
UNIF Program Committee
WPTE Call for Papers
WPTE on Sunday, July 13th, 2014
WPTE Program
WPTE Program Committee