Federated Logic Conference 2026 — Author Index (ICLP)

ICLP TALK AUTHOR INDEX

Shortcuts: A B C D E F G H I J K L M P R S T V W Y Z

PROGRAM | AUTHORS

A
Alviano, Mario	(ICLP) Invited Talk 1 (ICLP) Block 4 (4 TPLP) (ICLP) Block 9 (8 TC)
Amato, Gianluca	(ICLP) Block 8 (2 TPLP)
Angelopoulos, Nicos	(ICLP) Block 6 (8 TC)
B
Bankosegger, Rafael	(ICLP) Block 4 (4 TPLP)
Bertagnon, Alessandro	(ICLP) Block 3 (Best DC + 4 RPR)
Borelli, Roberto	(ICLP) Block 12 (1 RPR + 6 TC)
Brancas, Ricardo	(ICLP) Block 10 (4 TPLP) (ICLP) Block 6 (8 TC)
C
Cabalar, Pedro	(ICLP) Block 11 (6 TC) (ICLP) Block 5 (2 TPLP)
Caudenberg, Daimy Van	(ICLP) Block 9 (8 TC)
Charalambidis, Angelos	(ICLP) Block 7 (4 TPLP) (ICLP) Block 5 (2 TPLP)
Costantini, Stefania	(ICLP) Block 6 (8 TC)
Cuteri, Andrea	(ICLP) Block 1 (3 TPLP)
D
Diéguez, Martin	(ICLP) Block 7 (4 TPLP)
E
Eiter, Thomas	(ICLP) Block 12 (1 RPR + 6 TC)
Engels, Katharina	(ICLP) Block 6 (8 TC)
Escobar, Santiago	(ICLP) Block 11 (6 TC)
F
Faber, Wolfgang	(ICLP) Invited Talk 2 (ICLP) 20 Years Test of Time Award
Fages, François	(ICLP) Block 10 (4 TPLP)
Fandinno, Jorge	(ICLP) Block 1 (3 TPLP)
G
Gavanelli, Marco	(ICLP) Block 11 (6 TC)
Gebser, Martin	(ICLP) Block 7 (4 TPLP)
Giacomo, Giuseppe De	(ICLP) Keynote: Symbolic Coding Agents: Temporal Synthesis as a Foundation for Strategic Reasoning in Artificial Intelligence
Giordano, Laura	(ICLP) Invited Talk 1 (ICLP) 10 Years Test of Time Award
Grozea, Cristian	(ICLP) Block 9 (8 TC)
Gruteser, Jan	(ICLP) Block 6 (8 TC)
Guo, Xiangyu	(ICLP) Block 11 (6 TC)
Gupta, Gopal	(ICLP) Block 8 (2 TPLP) (ICLP) Block 9 (8 TC)
H
Hahn, Susana	(ICLP) Block 7 (4 TPLP)
I
Ielo, Antonio	(ICLP) Block 7 (4 TPLP)
Inclezan, Daniela	(ICLP) Block 4 (4 TPLP)
J
Janhunen, Tomi	(ICLP) Block 1 (3 TPLP)
Jiang, Chufeng	(ICLP) Block 2 (6 TC)
Jurjo-Rivas, Daniel	(ICLP) Block 8 (2 TPLP) (ICLP) Block 9 (8 TC)
K
Killen, Spencer	(ICLP) Block 11 (6 TC)
Knorr, Matthias	(ICLP) Block 2 (6 TC)
Kostka, Adam	(ICLP) Block 12 (1 RPR + 6 TC)
L
Libkin, Leonid	(ICLP) Block 3 (Best DC + 4 RPR)
Liu, Annie	(ICLP) Block 10 (4 TPLP)
Liu, Daxin	(ICLP) Block 12 (1 RPR + 6 TC)
M
Mahout, Maxime	(ICLP) Block 12 (1 RPR + 6 TC)
Maizia, Mohamed	(ICLP) Block 2 (6 TC)
Martins, Rafael	(ICLP) Block 9 (8 TC)
Merhout, Heather	(ICLP) Block 12 (1 RPR + 6 TC)
Mesnard, Fred	(ICLP) Block 2 (6 TC) (ICLP) Block 6 (8 TC)
Moriyama, Sota	(ICLP) Block 3 (Best DC + 4 RPR)
P
Pennino, Federico	(ICLP) Block 4 (4 TPLP)
Pérez, Marco	(ICLP) Block 6 (8 TC)
Pham, Ngoc-Mai	(ICLP) Block 9 (8 TC)
Pontelli, Enrico	(ICLP) 20 Years Test of Time Award
R
Rader, Alexander Philipp	(ICLP) Block 4 (4 TPLP)
Rückschloß, Kilian	(ICLP) Block 12 (1 RPR + 6 TC)
Russo, Alessandra	(ICLP) Keynote: Learning with Logic: Neuro-Symbolic Methods for Grounded and Robust AI
S
Sanna, Rafaello	(ICLP) Block 11 (6 TC)
Santi, Enrico	(ICLP) Block 2 (6 TC)
Shapiro, Ehud	(ICLP) Block 6 (8 TC)
Sheela, Arun Raveendran Nair	(ICLP) Block 11 (6 TC)
Simon, Luke	(ICLP) 20 Years Test of Time Award
Skvortsov, Evgeny	(ICLP) Block 10 (4 TPLP)
Sterlicchio, Gioacchino	(ICLP) Block 3 (Best DC + 4 RPR) (ICLP) Block 9 (8 TC)
Stuckey, Peter	(ICLP) Invited Talk 2
Szeider, Stefan	(ICLP) Block 3 (Best DC + 4 RPR)
T
Takemura, Akihiro	(ICLP) Block 2 (6 TC)
Tarau, Paul	(ICLP) Block 2 (6 TC)
V
Vašíček, Ondřej	(ICLP) Block 5 (2 TPLP)
Voboril, Florentina	(ICLP) Block 9 (8 TC)
W
Weitkämper, Felix	(ICLP) Block 12 (1 RPR + 6 TC)
Y
Yanakieva, Elena	(ICLP) Block 10 (4 TPLP)
Z
Zhou, Neng-Fa	(ICLP) Block 3 (Best DC + 4 RPR)