Talk Author Index

TALK AUTHOR INDEX

Shortcuts: E F H J M N R S T V W

E
Eschen, Agnes Moesgård	On Axiomatic Systems for Classical Propositional Logic
F
From, Asta Halkjær	On Termination for Hybrid Tableaux
H
Holub, Stepan	Auxiliary tools for Combinatorics on Words Transfer and reversal of lists
Huch, Fabian	A Linter for Isabelle: Implementation and Evaluation
J
Jacobsen, Frederik Krogsdal	Lessons of Teaching Formal Methods with Isabelle
M
Megdiche, Yecine	A Linter for Isabelle: Implementation and Evaluation
Mündler, Niels	A Verified Implementation of B-trees in Isabelle/HOL
N
Neuper, Walther	Towards Accessible Formal Mathematics with ISAC and Isabelle/VSCode
Nipkow, Tobias	Welcome A Verified Implementation of B-trees in Isabelle/HOL Gale-Shapley Verified
R
Raška, Martin	Auxiliary tools for Combinatorics on Words Transfer and reversal of lists
S
Singh, Lavanya	Automating Kantian Ethics in Isabelle: A Case Study
Starosta, Štěpán	Auxiliary tools for Combinatorics on Words
Stevens, Lukas	A Linter for Isabelle: Implementation and Evaluation
Stöger, Bernhard	Towards Accessible Formal Mathematics with ISAC and Isabelle/VSCode
T
Thiemann, René	From P != NP to monotone circuits of super-polynomial size
Torstensson, Olle	Oracle Integration of Floating-Point Solvers with Isabelle
V
Villadsen, Jørgen	On Axiomatic Systems for Classical Propositional Logic Lessons of Teaching Formal Methods with Isabelle
W
Weber, Tjark	Oracle Integration of Floating-Point Solvers with Isabelle
Wenzel, Makarius	Isabelle/VSCode and Electron/Node.js as emerging Isabelle technologies Towards Accessible Formal Mathematics with ISAC and Isabelle/VSCode