FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Magnus O. Myreen
Organization: Chalmers University of Technology
Web page: http://www.cl.cam.ac.uk/~mom22/
Pages in this Program
All Proceedings Papers
CAV on Friday, July 13th
CAV Program
IJCAR on Sunday, July 15th
IJCAR Proceedings 9th IJCAR, 2018
IJCAR Proceedings 9th IJCAR, 2018: Papers with Abstracts
IJCAR Program
ITP on Thursday, July 12th
ITP on Wednesday, July 11th
ITP Papers
ITP Papers: Papers with Abstracts
ITP Program
PAAR on Thursday, July 19th
PAAR papers
PAAR papers: Papers with Abstracts
PAAR Program
Paper: Proof-Producing Synthesis of CakeML with I/O and Local State from Monadic HOL Functions
Paper: Software Verification with ITPs Should Use Binary Code Extraction to Reduce the TCB (short paper)
Paper: The CakeML Verified Compiler and Toolchain
Program
Program for Friday, July 13th
Program for Sunday, July 15th
Program for Thursday, July 12th
Program for Thursday, July 19th
Program for Wednesday, July 11th
Program for Wednesday, July 18th
VSTTE on Wednesday, July 18th
VSTTE Program