VSL 2014: VIENNA SUMMER OF LOGIC 2014
Aart Middeldorp
Organization: University of Innsbruck
Web site: http://cl-informatik.uibk.ac.at/~ami/
Pages in this Program
IFIP-WG16 on Sunday, July 13th, 2014
IFIP-WG16 Program
IJCAR on Sunday, July 20th, 2014
IJCAR Program
IJCAR Program Committee
ITP on Thursday, July 17th, 2014
ITP Program
IWC on Sunday, July 13th, 2014
IWC Program
Program
Program for Friday, July 18th, 2014
Program for Monday, July 14th, 2014
Program for Sunday, July 13th, 2014
Program for Sunday, July 20th, 2014
Program for Thursday, July 17th, 2014
RTA-TLCA on Monday, July 14th, 2014
RTA-TLCA Program
TermGraph on Sunday, July 13th, 2014
TermGraph Program
TERMGRAPH Program Committee
WST on Friday, July 18th, 2014
WST Program