Talk Author Index

TALK AUTHOR INDEX

Shortcuts: A B H K L N P R S T V W Z

A
Avigad, Jeremy	A formally verified proof of the Central Limit Theorem
B
Blanchette, Jasmin Christian	Primitively (Co)recursive Definitions for Isabelle/HOL
Blasum, Holger	Using Isabelle/HOL to Develop and Maintain Separation Invariants for an Operating System (Extended Abstract)
H
Haftmann, Florian	Towards abstract and executable multivariate polynomials in Isabelle
Havle, Oto	Using Isabelle/HOL to Develop and Maintain Separation Invariants for an Operating System (Extended Abstract)
Hölzl, Johannes	A formally verified proof of the Central Limit Theorem
K
Kunčar, Ondřej	From Types to Sets in Isabelle/HOL
L
Lammich, Peter	The CoCon Experiment The CAVA Automata Library
Langenstein, Bruno	Using Isabelle/HOL to Develop and Maintain Separation Invariants for an Operating System (Extended Abstract)
Lochbihler, Andreas	Towards abstract and executable multivariate polynomials in Isabelle Programming TLS in Isabelle/HOL
N
Nemouchi, Yakoub	Using Isabelle/HOL to Develop and Maintain Separation Invariants for an Operating System (Extended Abstract)
Nipkow, Tobias	Isabelle tutorial for beginners (part 1) Isabelle tutorial for beginners (part 2) Amortized Complexity Verified
Noschinski, Lars	Pattern-based Subterm Selection In Isabelle Towards Structured Proofs for Program Verification (Ongoing Work)
P
Panny, Lorenz	Primitively (Co)recursive Definitions for Isabelle/HOL
Paulson, Lawrence	Proving Gödel’s Incompleteness Theorems
Popescu, Andrei	The CoCon Experiment From Types to Sets in Isabelle/HOL
R
Rizkallah, Christine	A Simpl Shortest Path Checker Verification
S
Schmaltz, Julien	Using Isabelle/HOL to Develop and Maintain Separation Invariants for an Operating System (Extended Abstract)
Schreiner, Wolfgang	Towards abstract and executable multivariate polynomials in Isabelle
Serafin, Luke	A formally verified proof of the Central Limit Theorem
Stephan, Werner	Using Isabelle/HOL to Develop and Maintain Separation Invariants for an Operating System (Extended Abstract)
T
Traut, Christoph	Pattern-based Subterm Selection In Isabelle
Traytel, Dmitriy	Primitively (Co)recursive Definitions for Isabelle/HOL
Tverdyshev, Sergey	Using Isabelle/HOL to Develop and Maintain Separation Invariants for an Operating System (Extended Abstract)
V
Verbeek, Freek	Using Isabelle/HOL to Develop and Maintain Separation Invariants for an Operating System (Extended Abstract)
W
Wenzel, Makarius	Tutorial: Isabelle/jEdit for seasoned Isabelle users Isabelle/jEdit NEWS
Wolff, Burkhart	Using Isabelle/HOL to Develop and Maintain Separation Invariants for an Operating System (Extended Abstract)
Z
Züst, Marc	Programming TLS in Isabelle/HOL