FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Anders Schlichtkrull
Organization: Technical University of Denmark
Pages in this Program
6th Workshop on practical aspects of automated reasoning
All Proceedings Papers
ARQNL on Wednesday, July 18th
ARQNL Program
IJCAR on Sunday, July 15th
IJCAR Proceedings 9th IJCAR, 2018
IJCAR Proceedings 9th IJCAR, 2018: Papers with Abstracts
IJCAR Program
Isabelle on Friday, July 13th
Isabelle Papers
Isabelle Papers: Papers with Abstracts
Isabelle Program
PAAR on Thursday, July 19th
PAAR papers
PAAR papers: Papers with Abstracts
PAAR Program
Paper: A Verified Simple Prover for First-Order Logic
Paper: Drawing Trees
Paper: Formalization of First-Order Syntactic Unification
Paper: Formalizing Bachmair and Ganzinger's Ordered Resolution Prover
Paper: Natural Deduction Assistant (NaDeA)
Paper: Students' Proof Assistant (SPA)
Paper: Substitutionless First-Order Logic: A Formal Soundness Proof
Program
Program for Friday, July 13th
Program for Saturday, July 7th
Program for Sunday, July 15th
Program for Thursday, July 19th
Program for Wednesday, July 18th
ThEdu Extended Abstracts
ThEdu Extended Abstracts: Papers with Abstracts
ThEdu on Wednesday, July 18th
ThEdu Program
UITP on Friday, July 13th
UITP Program
UNIF Extended abstracts
UNIF Extended abstracts: Papers with Abstracts
UNIF on Saturday, July 7th
UNIF Program