LPAR 2024: 25TH CONFERENCE ON LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE AND REASONING
TALK AUTHOR INDEX
A
Abraham, Erika
Adam, Quentin
Ait El Hara, Hichem Rami
Akshay, S.
Aleksandrova, Kristina
Alt, Leonardo
B
Baaz, Matthias
Barenbaum, Pablo
Barrett, Clark
Baumgartner, Peter
Biere, Armin
Blanqui, Frédéric
Blicha, Martin
Bobot, François
Bonichon, Richard
Britikov, Konstantin
Bromberger, Martin
Brown, Chad
Brugger, Lea Salome
Bury, Guillaume
C
Cailler, Julie
Chakraborty, Supratik
Chimes, Mark
Cruz-Filipe, Luís
D
de Briey, Lancelot
Dershowitz, Nachum
Dramnesc, Isabela
F
Fazekas, Katalin
Fedyukovich, Grigory
Fermüller, Christian
Fish, Andrew
Fleury, Mathias
Freiman, Robert
Fuenmayor, David
G
Georgiou, Pamina
Gheorghiu, Alexander Victor
Gooljar, Veerajay
Gottlob, Georg
Govind, R.
Guerrieri, Giulio
Gurfinkel, Arie
H
Hajdu, Marton
Heenaye-Mamode Khan, Maleika
Hennicker, Rolf
Hermant, Olivier
Hitzler, Pascal
Hunter, Aaron
I
Iglesias, Alberto
Iosif, Radu
Israel, Marc
J
Jakubův, Jan
Janota, Mikolas
Jebelean, Tudor
Juddoo, Suraj
K
Kafshdar Goharshady, Amir
Kahramanogullari, Ozan
Kaliszyk, Cezary
Katoen, Joost-Pieter
Kesner, Delia
Knapp, Alexander
Koon, David
Korovin, Konstantin
Kovács, Laura
L
Lang, Timo
Lanzinger, Matthias
Leitsch, Alexander
Lincoln, Thierry
Lisitsa, Alexei
Loboda, Wojciech
Lolic, Anela
M
Mahler, Stella
Manara, Giulia
Marianne, Thierry
McGinness, Lachlan
McKeown, Jack
Meel, Kuldeep
Mesnard, Fred
Milicich, Mariana
Miné, Antoine
Mohamed, Mudathir Mahgoub Yahia
Motwani, Harshit Jitendra
Moussaoui Remil, Naïm
O
Olarte, Carlos
P
Payet, Etienne
Petković Komel, Anja
Piepenbrock, Jelle
Pimentel, Elaine
Pollitt, Florian
R
Rain, Sophie
Ranalter, Daniel
Ranalter, Daniel
Rawson, Michael
Reynolds, Andrew
Rosain, Johann
S
Schneider-Kamp, Peter
Schoisswohl, Johannes
Schwarz, Simon
Seewoosunkur, Prakash
Sferrazza, Stefano
Sharygina, Natasha
Stephan, Schulz
Stratulat, Sorin
Subercaseaux, Bernardo
Sutcliffe, Geoff
T
Tafese, Joseph
Tammet, Tanel
Tinelli, Cesare
Toledo, Guilherme
Tortora de Falco, Lorenzo
U
Urban, Caterina
Urban, Josef
V
Varanasi, Sai Teja
Vaux Auclair, Lionel
Veanes, Margus
W
Wałęga, Przemysław Andrzej
Weidenbach, Christoph
Wirsing, Martin
Z
Zalewski, Joseph
Zlatkin, Ilia
Zohar, Yoni
Zuleger, Florian