CADE-28: THE 28TH INTERNATIONAL CONFERENCE ON AUTOMATED DEDUCTION
GLOBAL TALK AUTHOR INDEX
A
Aaronson, Scott
Abraham, Erika
Alrabbaa, Christian
B
Baader, Franz
Baelde, David
Barbosa, Haniel
Barnett, Lee
Barrett, Clark
Bartocci, Ezio
Baudon, Thaïs
Baumgartner, Peter
Ben-Amram, Amir
Bentkamp, Alexander
Benzmüller, Christoph
Bibel, Wolfgang
Biere, Armin
Bjørner, Nikolaj
Blackburn, Patrick
Blanchette, Jasmin
Blot, Valentin
Bonancina, Maria Paola
Borgwardt, Stefan
Boyland, John
Brauße, Franz
Bryant, Randal
Bártek, Filip
C
Cao, Qinxiang
Chaudhuri, Kaustuv
Ciabattoni, Agata
Cimatti, Alessandro
Cohen, Liron
Cruanes, Simon
Cuconato, Bruno
D
Davenport, James H.
De Lon, Adrian
de Moura, Leonardo
Delaune, Stephanie
Dershowitz, Nachum
Desharnais, Martin
Dixon, Clare
Do Vale, Deivid
Doménech, Jesús J.
Donato, Pablo
Dowek, Gilles
Draheim, Dirk
Dubois de Prisque, Louise
E
Ebner, Gabriel
Echenim, Mnacho
Eisenhofer, Clemens
El-Beheiry, Laila
Emrich, Frank
England, Matthew
Errington, Jacob
F
Fiorentini, Camillo
Fleury, Mathias
Fontaine, Pascal
Frohn, Florian
From, Asta Halkjær
Fuenmayor, David
Fuhs, Carsten
G
Garchery, Quentin
Genaim, Samir
Giesl, Jürgen
Gocht, Stephan
Golińska-Pilarek, Joanna
Gonnord, Laure
Governatori, Guido
Griggio, Alberto
H
Haeusler, Edward Hermann
Haifani, Fajar
Hark, Marcel
Heisinger, Max
Hensel, Jera
Heule, Marijn
Hozzová, Petra
Hustadt, Ullrich
Huuskonen, Taneli
I
Iosif, Radu
J
Jacomme, Charlie
Jang, Junyoung
Järv, Priit
K
Karkour, Ammar
Keller, Chantal
Kim, Dohan
Koepke, Peter
Koopmann, Patrick
Korovin, Konstantin
Korovina, Margarita
Koutny, Reinhard
Koutsos, Adrien
Kovtunova, Alisa
Kovács, Laura
Kovács, Zoltán
Kremer, Gereon
Kriegel, Francesco
Krueger, Ryan
Kumar, Ankit
L
Laarman, Alfons
Li, Liming
Lorenzen, Anton
Lucas, Salvador
Lynch, Christopher
M
Magaud, Nicolas
Manolios, Panagiotis
Maric, Filip
Marinković, Vesna
Marti, Adrian
Martins, Ruben
Meyer, Fabian
Michael Han, Jesse
Middeldorp, Aart
Miesenberger, Klaus
Mitterwallner, Fabian
Moreau, Solène
Müller, Norbert Th.
N
Nadathur, Gopalan
Nalon, Cláudia
Neufeld, Emery
Neuper, Walther
Nigam, Vivek
Nipkow, Tobias
Nipkow, Tobias
Nordstrom, Jakob
Nummelin, Visa
Nuradiansyah, Adrian
O
Osama, Muhammad
Ozdemir, Alex
P
Papacchini, Fabio
Payet, Etienne
Pease, Adam
Peltier, Nicolas
Perdue, Crispin
Pientka, Brigitte
Piskac, Ruzica
Plaisted, David
Platzer, André
Q
Quaresma, Pedro
R
Rabe, Florian
Rabe, Markus N.
Rahmouni, Samar
Rawson, Michael
Redondi, Gianluca
Reger, Giles
Reis, Carlos
Reis, Giselle
Reynolds, Andrew
Riener, Martin
Ringeissen, Christophe
Roux, Navid
Roßkopf, Simon
Ruess, Harald
S
Sagiv, Mooly
Santos, Jefferson de Barros
Schlichtkrull, Anders
Schoisswohl, Johannes
Schulz, Stephan
Schurr, Hans-Jörg
Schütz, Marcel
Selsam, Daniel
Sheng, Ying
Smallbone, Nicholas
Southern, Mary
Sozeau, Matthieu
Steen, Alexander
Strub, Pierre-Yves
Stöger, Bernhard
Suda, Martin
Sutcliffe, Geoff
Szegedy, Christian
T
Tammet, Tanel
Tinelli, Cesare
Tourret, Sophie
U
Ullrich, Sebastian
V
Vajda, Robert
van der Weide, Niels
van Dijk, Tom
Vial, Pierre
Villadsen, Jørgen
Voronkov, Andrei
Vukmirović, Petar
W
Walter, Andrew
Wang, Anduo
Weidenbach, Christoph
Wenzel, Makarius
Werner, Benjamin
Wernhard, Christoph
Wu, Xiwei
X
Xu, Runqing
Y
Yamada, Akihisa
Yolcu, Emre
Yu, Jonathan H.
Z
Zawidzki, Michał
Zhan, Bohua
Zohar, Yoni