CADE-28: THE 28TH INTERNATIONAL CONFERENCE ON AUTOMATED DEDUCTION
TALK AUTHOR INDEX
A
Aaronson, Scott
Alrabbaa, Christian
B
Baader, Franz
Barnett, Lee
Barrett, Clark
Bartocci, Ezio
Baumgartner, Peter
Bentkamp, Alexander
Benzmüller, Christoph
Bibel, Wolfgang
Biere, Armin
Bjørner, Nikolaj
Blanchette, Jasmin
Bonacina, Maria Paola
Borgwardt, Stefan
Brauße, Franz
Bryant, Randal
Bártek, Filip
C
Chaudhuri, Kaustuv
Ciabattoni, Agata
Cimatti, Alessandro
Cohen, Liron
Cruanes, Simon
D
De Lon, Adrian
de Moura, Leonardo
Desharnais, Martin
Dixon, Clare
Draheim, Dirk
E
Ebner, Gabriel
Echenim, Mnacho
Errington, Jacob
F
Fiorentini, Camillo
Fleury, Mathias
Fontaine, Pascal
Fuenmayor, David
G
Giesl, Jürgen
Golińska-Pilarek, Joanna
Governatori, Guido
Griggio, Alberto
H
Haifani, Fajar
Heule, Marijn
Hozzová, Petra
Hustadt, Ullrich
Huuskonen, Taneli
I
Iosif, Radu
J
Jang, Junyoung
Järv, Priit
K
Kim, Dohan
Koepke, Peter
Koopmann, Patrick
Korovin, Konstantin
Korovina, Margarita
Kovtunova, Alisa
Kovács, Laura
Kriegel, Francesco
Krueger, Ryan
L
Li, Liming
Lorenzen, Anton
Lynch, Christopher
M
Marti, Adrian
Michael Han, Jesse
Müller, Norbert Th.
N
Nalon, Cláudia
Neufeld, Emery
Nigam, Vivek
Nipkow, Tobias
Nipkow, Tobias
Nummelin, Visa
Nuradiansyah, Adrian
P
Papacchini, Fabio
Peltier, Nicolas
Pientka, Brigitte
Piskac, Ruzica
Platzer, André
R
Rabe, Markus N.
Rahmouni, Samar
Redondi, Gianluca
Reis, Giselle
Reynolds, Andrew
Ringeissen, Christophe
Roßkopf, Simon
Ruess, Harald
S
Sagiv, Mooly
Schlichtkrull, Anders
Schulz, Stephan
Schurr, Hans-Jörg
Schütz, Marcel
Selsam, Daniel
Sheng, Ying
Smallbone, Nicholas
Steen, Alexander
Suda, Martin
Sutcliffe, Geoff
Szegedy, Christian
T
Tammet, Tanel
Tinelli, Cesare
Tourret, Sophie
U
Ullrich, Sebastian
V
Voronkov, Andrei
Vukmirović, Petar
W
Weidenbach, Christoph
Wenzel, Makarius
Wernhard, Christoph
X
Xu, Runqing
Y
Yamada, Akihisa
Yolcu, Emre
Z
Zawidzki, Michał
Zhan, Bohua
Zohar, Yoni