Talk Author Index

TALK AUTHOR INDEX

Shortcuts: B D G K R S V

B
Biere, Armin	SAT solving experiments in Vampire
Blanchette, Jasmin Christian	My Life with an Automatic Theorem Prover
D
Dragan, Ioan	SAT solving experiments in Vampire
G
Gupta, Ashutosh	Proofs in Vampire Reasoning in First-Order Theories with Extensionality
K
Kotelnikov, Evgeny	First Class Boolean Type in First-Order Theorem Proving and TPTP
Kovacs, Laura	First-Order Theorem Proving with Vampire Discussions SAT solving experiments in Vampire First Class Boolean Type in First-Order Theorem Proving and TPTP Reasoning in First-Order Theories with Extensionality
Kragl, Bernhard	Reasoning in First-Order Theories with Extensionality
R
Reger, Giles	Playing with AVATAR
S
Suda, Martin	Playing with AVATAR
V
Voronkov, Andrei	First-Order Theorem Proving with Vampire Playing with AVATAR Discussions SAT solving experiments in Vampire First Class Boolean Type in First-Order Theorem Proving and TPTP Reasoning in First-Order Theories with Extensionality