FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

A
Aryal, Deepak	Hilbert Meets Isabelle: Formalisation of the DPRM Theorem in Isabelle (PDF, talk)
B
Bayer, Jonas	Hilbert Meets Isabelle: Formalisation of the DPRM Theorem in Isabelle (PDF, talk)
Blanchette, Jasmin Christian	A Verified SAT Solver with Watched Literals Using Imperative HOL (Extended Abstract) (PDF, talk)
Bockenek, Joshua	Using Isabelle/UTP for the Verification of Sorting Algorithms: A Case Study (PDF, talk)
C
Ciurezu, Bogdan	Hilbert Meets Isabelle: Formalisation of the DPRM Theorem in Isabelle (PDF, talk)
D
David, Marco	Hilbert Meets Isabelle: Formalisation of the DPRM Theorem in Isabelle (PDF, talk)
Deng, Yiping	Hilbert Meets Isabelle: Formalisation of the DPRM Theorem in Isabelle (PDF, talk)
Devkota, Prabhat	Hilbert Meets Isabelle: Formalisation of the DPRM Theorem in Isabelle (PDF, talk)
Dubischar, Simon	Hilbert Meets Isabelle: Formalisation of the DPRM Theorem in Isabelle (PDF, talk)
F
Fleury, Mathias	A Verified SAT Solver with Watched Literals Using Imperative HOL (Extended Abstract) (PDF, talk)
From, Andreas Halkjær	Drawing Trees (PDF) Substitutionless First-Order Logic: A Formal Soundness Proof (PDF, talk)
H
Haslbeck, Max W.	Formal Verification of Bounds for the LLL Basis Reduction Algorithm (PDF, talk)
Hassler, Malte Sophian	Hilbert Meets Isabelle: Formalisation of the DPRM Theorem in Isabelle (PDF, talk)
He, Yilun	PaMpeR: A Proof Method Recommendation System for Isabelle/HOL (PDF, talk)
L
Lammich, Peter	A Verified SAT Solver with Watched Literals Using Imperative HOL (Extended Abstract) (PDF, talk) Using Isabelle/UTP for the Verification of Sorting Algorithms: A Case Study (PDF, talk)
Larsen, John Bruntse	Substitutionless First-Order Logic: A Formal Soundness Proof (PDF, talk)
Liu, Yufei	Hilbert Meets Isabelle: Formalisation of the DPRM Theorem in Isabelle (PDF, talk)
Lochbihler, Andreas	Lazy Algebraic Types in Isabelle/HOL (PDF, talk)
N
Nagashima, Yutaka	PaMpeR: A Proof Method Recommendation System for Isabelle/HOL (PDF, talk)
Nemouchi, Yakoub	Using Isabelle/UTP for the Verification of Sorting Algorithms: A Case Study (PDF, talk)
O
Oprea, Maria Antonia	Hilbert Meets Isabelle: Formalisation of the DPRM Theorem in Isabelle (PDF, talk)
P
Pal, Abhik	Hilbert Meets Isabelle: Formalisation of the DPRM Theorem in Isabelle (PDF, talk)
S
Schlichtkrull, Anders	Drawing Trees (PDF) Substitutionless First-Order Logic: A Formal Soundness Proof (PDF, talk)
Sternagel, Christian	The remote_build Tool (PDF, talk)
Stock, Benedikt	Hilbert Meets Isabelle: Formalisation of the DPRM Theorem in Isabelle (PDF, talk)
Stoop, Pascal	Lazy Algebraic Types in Isabelle/HOL (PDF, talk)
T
Thiemann, René	Formal Verification of Bounds for the LLL Basis Reduction Algorithm (PDF, talk)
V
Villadsen, Jørgen	Drawing Trees (PDF) Substitutionless First-Order Logic: A Formal Soundness Proof (PDF, talk)
W
Wenzel, Makarius	Further Scaling of Isabelle Technology (PDF, talk)
Wolff, Burkhart	Using Isabelle/UTP for the Verification of Sorting Algorithms: A Case Study (PDF, talk)

Disclaimer | Powered by EasyChair Smart Program