LPAR-21: 21ST INTERNATIONAL CONFERENCE ON LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE AND REASONING
TALK AUTHOR INDEX
A
Apt, Krzysztof
B
Baaz, Matthias
Barthe, Gilles
Bauer, Sabine
Benzmüller, Christoph
Biere, Armin
Bistarelli, Stefano
Bjorner, Nikolaj
Blahoudek, František
Bogaerts, Bart
Boumarafi, Yazid
Bourbouh, Hamza
C
Ciabattoni, Agata
Cruz-Filipe, Luís
D
Duret-Lutz, Alexandre
E
Echahed, Rachid
Espitau, Thomas
F
Fedyukovich, Grigory
Fischer, Jeffrey
Freitas, Fred
Frohn, Florian
G
Garion, Christophe
Garoche, Pierre-Loic
Gauthier, Thibault
Giesl, Jürgen
Gigante, Nicola
Gleißner, Tobias
Gregoire, Benjamin
Gurfinkel, Arie
H
Hainry, Emmanuel
Hannula, Miika
Hofmann, Martin
Hollingum, Nicholas
Hsu, Justin
I
Irving, Geoffrey
J
Jamnik, Mateja
Jouannaud, Jean-Pierre
Jovanović, Dejan
K
Kahramanogullari, Ozan
Kahsai, Temesghen
Kaliszyk, Cezary
Kersten, Rody
Kiesl, Benjamin
Klein, Gerwin
Klokočka, Mikuláš
Kontinen, Juha
Kovacs, Laura
Kretinsky, Mojmir
L
Lellmann, Bjoern
Lepoint, Tancrède
Lindsberger, Josef
Link, Sebastian
Loos, Sarah
M
Maignan, Aude
Majumdar, Rupak
Maringele, Alexander
Martinelli, Fabio
Matteucci, Ilaria
Melo Filho, Dimas
Mitchell, David
Montanari, Angelo
Mordvinov, Dmitry
Moser, Georg
Muggleton, Stephen
O
Olarte, Carlos
Otten, Jens
P
Philipp, Tobias
Pimentel, Elaine
Preining, Norbert
Péchoux, Romain
R
Ramanayake, Revantha
Rebola-Pardo, Adrian
Reynolds, Mark
Ruemmer, Philipp
S
Saarikivi, Olli
Sais, Lakhdar
Salhi, Yakoub
Santini, Francesco
Sato, Yuri
Schneider-Kamp, Peter
Scholz, Bernhard
Schäf, Martin
Seidl, Martina
Shams, Zohreh
Singh, Abhishek Kr
Stapleton, Gem
Steen, Alexander
Strejcek, Jan
Strub, Pierre-Yves
Suda, Martin
Syeda, Hira
Szegedy, Christian
T
Ternovska, Evgenia
Thirioux, Xavier
Toman, David
Tompits, Hans
U
Urban, Josef
V
Veanes, Margus
Visser, Willem
Voronkov, Andrei
W
Weddell, Grant
Wisniewski, Max
Wojtczak, Dominik