Federated Logic Conference 2026 — Author Index (Vampire)

PROGRAM AUTHORS Search

VAMPIRE TALK AUTHOR INDEX

Shortcuts: A B C F J K L P S V

PROGRAM | AUTHORS

A
Aygün, Murat Sinan	(Vampire) Optimizations(?)
B
Bodingbauer, Jonas	(Vampire) Proof checking & applications
C
Coutelier, Robin	(Vampire) Machine learning
F
Fixman, Martin	(Vampire) Equality reasoning(?)
J
Janota, Mikoláš	(Vampire) Equality reasoning(?)
K
Karthick, Karthikhesvaran Sudhakar Sharmila	(Vampire) Optimizations(?)
L
Leiwig, Maximilian	(Vampire) Optimizations(?)
P
Pease, Adam	(Vampire) Proof checking & applications
Pluska, Alexander	(Vampire) Machine learning
Polaczek, Axel	(Vampire) Proof checking & applications
S
Schulz, Stephan	(Vampire) Equality reasoning(?)
Suda, Martin	(Vampire) Machine learning
V
Vehlken, Fabian	(Vampire) Proof checking & applications

🔍

↑