LPAR-22: 22ND INTERNATIONAL CONFERENCE ON LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE AND REASONING
TALK AUTHOR INDEX
A
Agapeyev, John
Agarwal, Palak
Alevizos, Elias
Aparicio-Sánchez, Damián
Apt, Krzysztof
Areces, Carlos
Artikis, Alexander
Asadi, Sepideh
B
Baader, Franz
Baaz, Matthias
Bardin, Sébastien
Bash, Tamar
Bauer, Sabine
Ben-Eliyahu-Zohary, Rachel
Bendík, Jaroslav
Benhamou, Belaid
Bickford, Mark
Blicha, Martin
Boker, Udi
Bottesch, Ralph
Boudane, Abdelhamid
C
Cassano, Valentin
Castro, Pablo
Cerna, Ivana
Charatonik, Witold
Chatterjee, Krishnendu
Chockler, Hana
Ciaffaglione, Alberto
Ciardo, Gianfranco
Ciesielski, Maciej
Cohen, Liron
D
Das, Anupam
David, Robin
Davy, Guillaume
Dershowitz, Nachum
Dietz Saldanha, Emmanuelle-Anna
Doumane, Amina
Dvořák, Wolfgang
E
Escobar, Santiago
Even-Mendoza, Karine
F
Faran, Rachel
Farinier, Benjamin
Fedyukovich, Grigory
Fernandez Gil, Oliver
Feron, Eric
G
Garoche, Pierre-Loic
Gleiss, Bernhard
Goertzel, Ben
González-Burgueño, Antonio
Grossi, Davide
Gupta, Rahul
Guskov, Yegor
H
Haslbeck, Max W.
Henrion, Didier
Henzinger, Monika
Hermanns, Holger
Hoffmann, Jan
Hofmann, Martin
Honsell, Furio
Hunter, Aaron
Hyvärinen, Antti
Hölldobler, Steffen
I
Iosif, Radu
J
Jabbour, Said
Janota, Mikolas
Jhunjhunwala, Saket
Jiang, Chuan
Jonáš, Martin
Jost, Steffen
Jouannaud, Jean-Pierre
K
Kesseli, Pascal
Khaled, Tarek
Kovacs, Laura
Kroening, Daniel
Kupferman, Orna
L
Lemerre, Matthieu
Lenisa, Marina
Lolic, Anela
López-Fraguas, Francisco J.
M
Marantidis, Pavlos
Marescotti, Matteo
Meadows, Catherine
Meseguer, José
Mishchenko, Alan
Montenegro, Manuel
N
Niu, Yue
P
Paliouras, Georgios
Pous, Damien
Pratt-Hartmann, Ian
R
Raddaoui, Badran
Rahli, Vincent
Rebola Pardo, Adrian
Robillard, Simon
Roy, Subhajit
Rudolph, Sebastian
S
S. Meel, Kuldeep
Sadigova, Parvin
Sais, Lakhdar
Scagnetto, Ivan
Schwarz, Sibylle
Serban, Cristina
Sharma, Shubham
Sharygina, Natasha
Simkus, Mantas
Singal, Dhruv
Stefanus, Lim Yohanes
Strejček, Jan
Strichman, Ofer
Su, Tiankai
Suda, Martin
Suárez-García, Gorka
Svozil, Alexander
T
Tamir, Tami
Thiemann, René
V
Van-Der-Hoek, Wiebe
Vivekanandan, Paventhan
W
Wałęga, Przemysław Andrzej
Witkowski, Piotr
Y
Yasin, Atif
Yu, Cunxi