Talk Author Index

TALK AUTHOR INDEX

Shortcuts: A B C D F H L N O P S T V W

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