Federated Logic Conference 2026 — Author Index (OVERLAY)

OVERLAY TALK AUTHOR INDEX

Shortcuts: A B C D F G I M P R S W

PROGRAM | AUTHORS

A
Ai, Derun	(OVERLAY) Explainability
Alamdari, Parand A.	(OVERLAY) Temporal, Modal and Logical Foundations 2
B
Bonin, Mathilde	(OVERLAY) Explainability
Brüchmann, Nelson	(OVERLAY) Verification and Model Checking
Buda, Alessandro G.	(OVERLAY) Temporal, Modal and Logical Foundations
Burigana, Alessandro	(OVERLAY) Planning
C
Capone, Andrea	(OVERLAY) Temporal, Modal and Logical Foundations
D
D'Asaro, Fabio Aurelio	(OVERLAY) Learning (OVERLAY) Temporal, Modal and Logical Foundations
F
Fisman, Dana	(OVERLAY) Learning
G
Giacomo, Giuseppe De	(OVERLAY) Multi-agent systems
Gigante, Nicola	(OVERLAY) Opening (OVERLAY) Planning (OVERLAY) Learning (OVERLAY) Multi-agent systems (OVERLAY) Verification and Model Checking (OVERLAY) Temporal, Modal and Logical Foundations (OVERLAY) Invited Talk (OVERLAY) Explainability (OVERLAY) Temporal, Modal and Logical Foundations 2 (OVERLAY) Closing remarks
I
Izsak, Noa	(OVERLAY) Explainability
M
Machado, João	(OVERLAY) Verification and Model Checking
Mantenoglou, Periklis	(OVERLAY) Planning (OVERLAY) Multi-agent systems
Matteo, Angelo	(OVERLAY) Temporal, Modal and Logical Foundations (OVERLAY) Temporal, Modal and Logical Foundations 2
Mazzullo, Andrea	(OVERLAY) Verification and Model Checking
Murano, Aniello	(OVERLAY) Multi-agent systems (OVERLAY) Temporal, Modal and Logical Foundations 2
P
Phalakarn, Kittiphon	(OVERLAY) Learning (OVERLAY) Verification and Model Checking
R
Romano, Salvatore	(OVERLAY) Multi-agent systems
S
Soutchanski, Mikhail	(OVERLAY) Planning
W
Walega, Przemyslaw	(OVERLAY) Invited Talk