FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Giles Reger
Organization: The University of Manchester
Web page: http://www.cs.man.ac.uk/~regerg
Pages in this Program
6th Workshop on practical aspects of automated reasoning
All Proceedings Papers
ARQNL Full papers, demo papers and invited contributions
ARQNL Full papers, demo papers and invited contributions: Papers with Abstracts
ARQNL on Wednesday, July 18th
ARQNL Program
PAAR on Thursday, July 19th
PAAR papers
PAAR papers: Papers with Abstracts
PAAR Program
Paper: Dynamic Strategy Priority: Empower the strong and abandon the weak
Paper: Set of Support for Higher-Order Reasoning
Paper: Some thoughts about FOL-translations in Vampire
Paper: What is the Point of an SMT-LIB Problem?
Program
Program for Friday, July 13th
Program for Thursday, July 19th
Program for Wednesday, July 18th
SMT Informal Proceedings
SMT Informal Proceedings: Papers with Abstracts
SMT on Friday, July 13th
SMT Program
Vampire on Friday, July 13th
Vampire Program