Talk Author Index

TALK AUTHOR INDEX

Shortcuts: B C G H J K M P R S V

B
Biere, Armin	SAT, Computer Algebra and Multiplier Verification
C
Chen, Yu-Ting	Interfacing Intermediate Languages to Vampire
G
Gleiss, Bernhard	Forward Subsumption Demodulation - Fast Conditional Rewriting in Vampire
H
Holden, Sean	Bayesian Optimisation with Gaussian Processes for Premise Selection
J
Jamnik, Mateja	Bayesian Optimisation with Gaussian Processes for Premise Selection
K
Kovacs, Laura	Forward Subsumption Demodulation - Fast Conditional Rewriting in Vampire
M
Mangla, Chaitanya	Bayesian Optimisation with Gaussian Processes for Premise Selection
P
Paulson, Lawrence	Bayesian Optimisation with Gaussian Processes for Premise Selection
R
Rath, Jakob	Forward Subsumption Demodulation - Fast Conditional Rewriting in Vampire
Reger, Giles	Induction in Saturation-Based Proof Search
Riener, Martin	A Flock of Vampires
S
Sebastiani, Roberto	SMT-Based Weighted Model Integration (joint invited talk with the SMT Workshop)
Suda, Martin	Hints for AVATAR
Słowik, Agnieszka	Bayesian Optimisation with Gaussian Processes for Premise Selection
V
Voronkov, Andrei	Induction in Saturation-Based Proof Search