FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Jørgen Villadsen
Organization: Technical University of Denmark
Web page: http://people.compute.dtu.dk/jovi/
Pages in this Program
6th Workshop on practical aspects of automated reasoning
All Proceedings Papers
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: Natural Deduction Assistant (NaDeA)
Paper: Proving in the Isabelle Proof Assistant that the Set of Real Numbers is not Countable
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 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