FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Zachary Tatlock
Organization: University of Washington
Web page: http://homes.cs.washington.edu/~ztatlock/
Pages in this Program
All Proceedings Papers
Coq on Sunday, July 8th
Coq Program
FM FMComplete
FM FMComplete: Papers with Abstracts
FM on Monday, July 16th
FM Program
ITP on Wednesday, July 11th
ITP Papers
ITP Papers: Papers with Abstracts
ITP Program
Paper: Combining Tools for Optimization and Analysis of Floating-Point Computations
Paper: Software Verification with ITPs Should Use Binary Code Extraction to Reduce the TCB (short paper)
Program
Program for Monday, July 16th
Program for Sunday, July 8th
Program for Wednesday, July 11th