FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Daniel Kroening
Organization: University of Oxford
Web page: http://www.kroening.com/
Pages in this Program
All Proceedings Papers
CAV All Papers
CAV All Papers: Papers with Abstracts
CAV on Monday, July 16th
CAV on Saturday, July 14th
CAV on Tuesday, July 17th
CAV Program
FLoC Program
FM on Monday, July 16th
FM Program
ICLP on Monday, July 16th
ICLP Program
IJCAR on Monday, July 16th
IJCAR Program
MoRe on Friday, July 13th
MoRe Papers
MoRe Papers: Papers with Abstracts
MoRe Program
Paper: Counterexample Guided Inductive Synthesis Modulo Theories
Paper: JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode
Paper: Logically-Constrained Reinforcement Learning
Paper: Model Checking Boot Code from AWS Data Centers
Paper: Procedure-Modular Termination Analysis
Program
Program for Friday, July 13th
Program for Monday, July 16th
Program for Saturday, July 14th
Program for Tuesday, July 17th
Program for Wednesday, July 18th
SYNT on Wednesday, July 18th
SYNT Program
WST on Wednesday, July 18th
WST Program
WST WST2018proceedings
WST WST2018proceedings: Papers with Abstracts