FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Peter O'Hearn
Organization: Facebook
Web page: http://www.cs.ucl.ac.uk/staff/p.ohearn/
Pages in this Program
All Proceedings Papers
CSF on Monday, July 9th
CSF Program
FLoC Program
FSCD on Monday, July 9th
FSCD Program
ITP on Monday, July 9th
ITP Program
LICS on Monday, July 9th
LICS PDF files
LICS PDF files: Papers with Abstracts
LICS Program
Paper: Continuous Reasoning: Scaling the Impact of Formal Methods
Program
Program for Monday, July 9th
Program for Saturday, July 14th
SAT on Monday, July 9th
SAT Program