Talk Author Index

TALK AUTHOR INDEX

Shortcuts: B C G H P R S T V

B
Bhayat, Ahmed	New Trends in Higher-Order
C
Coutelier, Robin	Engineering Subsumption Resolution in Vampire
G
Georgiou, Pamina	Sorting without Sorts in Vampire
H
Hajdu, Marton	Syntax-driven induction
Hozzová, Petra	Integrating Answer Literals with AVATAR for Program Synthesis
P
Petković Komel, Anja	Towards verifying Vampire proofs in λΠ-calculus Modulo Theories
R
Rawson, Michael	Heuristic Definition Introduction Towards verifying Vampire proofs in λΠ-calculus Modulo Theories
S
Schulz, Stephan	Lazy and Eager Patterns in High-Performance Automated Theorem Proving
Suda, Martin	Towards verifying Vampire proofs in λΠ-calculus Modulo Theories
T
Tourret, Sophie	The Spawns of the Saturation Framework
V
Voronkov, Andrei	Spider: Learning in the Sea of Options