FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Ramana Kumar
Organization: Datat61, CSIRO; and UNSW
Web page: http://ts.data61.csiro.au/people/?cn=Ramana+Kumar
Pages in this Program
All Proceedings Papers
IJCAR on Sunday, July 15th
IJCAR Proceedings 9th IJCAR, 2018
IJCAR Proceedings 9th IJCAR, 2018: Papers with Abstracts
IJCAR Program
ITP on Wednesday, July 11th
ITP Papers
ITP Papers: Papers with Abstracts
ITP 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)
Program
Program for Sunday, July 15th
Program for Wednesday, July 11th
Program for Wednesday, July 18th
VSTTE on Wednesday, July 18th
VSTTE Program