VSL 2014: VIENNA SUMMER OF LOGIC 2014
Gilles Barthe
Organization: IMDEA Software Institute
Web site: http://software.imdea.org/~gbarthe
Pages in this Program
APPA on Friday, July 18th, 2014
APPA Program
CSF on Monday, July 21st, 2014
CSF on Sunday, July 20th, 2014
CSF on Tuesday, July 22nd, 2014
CSF Program
CSL-LICS Program Committee
Program
Program for Friday, July 18th, 2014
Program for Monday, July 21st, 2014
Program for Sunday, July 20th, 2014
Program for Tuesday, July 22nd, 2014