Federated Logic Conference 2026 — Author Index (ICLP-DC-SS)

ICLP-DC-SS TALK AUTHOR INDEX

Shortcuts: B H L M N R S T V

PROGRAM | AUTHORS

B
Becker, Arvid	(ICLP-DC-SS) DC Session 2
Bertrand, Nikolas	(ICLP-DC-SS) Opening + DC Session 1
H
Hahn, Susana	(ICLP-DC-SS) DC Session 2
Herrero, Joaquín Arias	(ICLP-DC-SS) SS Invited Talk 1 (ICLP-DC-SS) DC Session 3 + Closing
Heuer, Jan	(ICLP-DC-SS) Opening + DC Session 1
L
Lahbib, Hiba Ben	(ICLP-DC-SS) Opening + DC Session 1
Lierler, Yuliya	(ICLP-DC-SS) SS Invited Talk 1
M
Manteiga, Ovidio	(ICLP-DC-SS) Opening + DC Session 1
Moriyama, Sota	(ICLP-DC-SS) Opening + DC Session 1
Murphy, Ryan Kepler James	(ICLP-DC-SS) DC Session 3 + Closing
N
Nemes, Amadé	(ICLP-DC-SS) Opening + DC Session 1
R
Rühling, Nicolas	(ICLP-DC-SS) DC Session 3 + Closing
S
Schaub, Torsten	(ICLP-DC-SS) SS Invited Talk 2
T
Tarzariol, Alice	(ICLP-DC-SS) Opening + DC Session 1 (ICLP-DC-SS) SS Invited Talk 2 (ICLP-DC-SS) DC Session 2 (ICLP-DC-SS) DC Session 3 + Closing
V
Vozna, Alina	(ICLP-DC-SS) DC Session 2