VSL 2014: VIENNA SUMMER OF LOGIC 2014
Beniamino Accattoli
Organization: INRIA
Web site: https://sites.google.com/site/beniaminoaccattoli/
Pages in this Program
2FC on Saturday, July 12th, 2014
2FC Program
CSL-LICS on Monday, July 14th, 2014
CSL-LICS Program
HOR Call for Papers
HOR Home Page
HOR on Saturday, July 12th, 2014
HOR Program
IWC on Sunday, July 13th, 2014
IWC Program
Program
Program for Monday, July 14th, 2014
Program for Saturday, July 12th, 2014
Program for Sunday, July 13th, 2014
TermGraph on Sunday, July 13th, 2014
TermGraph Program
TERMGRAPH Program Committee