Talk Author Index

TALK AUTHOR INDEX

Shortcuts: A D E G K M R S V

A
Ahrendt, Wolfgang	Reasoning About Loops Using Vampire
D
de Moura, Leonardo	Lost in translation: how easy (automated reasoning) problems become hard due to bad encodings
E
Erdweg, Sebastian	Using Vampire in Soundness Proofs of Type Systems
G
Grewe, Sylvia	Using Vampire in Soundness Proofs of Type Systems
K
Kotelnikov, Evgenii	New Vampire Features as Extensions to TPTP
Kovacs, Laura	Reasoning About Loops Using Vampire New Vampire Features as Extensions to TPTP
M
Mezini, Mira	Using Vampire in Soundness Proofs of Type Systems
R
Reger, Giles	The Uses of SAT Solvers in Vampire New Vampire Features as Extensions to TPTP
Robillard, Simon	Reasoning About Loops Using Vampire
S
Suda, Martin	The Uses of SAT Solvers in Vampire Nice Models for AVATAR
Sutcliffe, Geoff	Things that you can't do with a Vampire
V
Voronkov, Andrei	New Vampire Features as Extensions to TPTP