Talk Author Index

TALK AUTHOR INDEX

Shortcuts: B G K R S T Á

B
Bhayat, Ahmed	Developments in Higher-order Theorem proving within Vampire
G
Gleiss, Bernhard	Foundations of SPECTRE
Gonzalez-Dios, Itziar	Towards Word Sense Disambiguation by Reasoning
K
Kovacs, Laura	Foundations of SPECTRE
R
Rawson, Michael	Testing ATP folklore: a statistical analysis of Vampire proofs.
Reger, Giles	Vampire: where have we come from, where are we going Testing ATP folklore: a statistical analysis of Vampire proofs. Experimenting with Theory Instantiation in Vampire Giving AVATAR Quantifiers to Play With Developments in Higher-order Theorem proving within Vampire
Reynolds, Andrew	Counterexample-Guided Quantifier Instantiation in Logical Theories Giving AVATAR Quantifiers to Play With
Riener, Martin	Experimenting with Theory Instantiation in Vampire
Rigau, German	Towards Word Sense Disambiguation by Reasoning
Robillard, Simon	Foundations of SPECTRE
S
Suda, Martin	Giving AVATAR Quantifiers to Play With
T
Tinelli, Cesare	Counterexample-Guided Quantifier Instantiation in Logical Theories
Á
Álvez, Javier	Towards Word Sense Disambiguation by Reasoning