Talk Author Index

TALK AUTHOR INDEX

Shortcuts: B D E F H K M N O R S V

B
Bhayat, Ahmed	Set of Support for Higher-Order Reasoning
D
Dixon, Clare	Evaluating Pre-Processing Techniques for the Separated Normal Form for Temporal Logics
E
Ebner, Gabriel	Efficient translation of sequent calculus proofs into natural deduction proofs
F
From, Andreas Halkjær	A Verified Simple Prover for First-Order Logic
H
Hustadt, Ullrich	Evaluating Pre-Processing Techniques for the Separated Normal Form for Temporal Logics
K
Kotelnikov, Evgenii	TFX: The TPTP Extended Typed First-order Form
M
Myreen, Magnus O.	The CakeML Verified Compiler and Toolchain
N
Nalon, Cláudia	Evaluating Pre-Processing Techniques for the Separated Normal Form for Temporal Logics
O
Otten, Jens	Proof Search Optimizations for Non-clausal Connection Calculi
R
Rawson, Michael	Dynamic Strategy Priority: Empower the strong and abandon the weak
Reger, Giles	Dynamic Strategy Priority: Empower the strong and abandon the weak Set of Support for Higher-Order Reasoning
S
Schlaipfer, Matthias	Efficient translation of sequent calculus proofs into natural deduction proofs
Schlichtkrull, Anders	A Verified Simple Prover for First-Order Logic
Sutcliffe, Geoff	TFX: The TPTP Extended Typed First-order Form
V
Villadsen, Jørgen	A Verified Simple Prover for First-Order Logic