Federated Logic Conference 2026 — Author Index (IMLA)

IMLA TALK AUTHOR INDEX

Shortcuts: A B D G I L M R S W Y

PROGRAM | AUTHORS

A
Afshari, Bahareh	(IMLA) Contributed Talks C2
Aguilera, Juan	(IMLA) Contributed Talks C6
B
Barroso-Nascimento, Victor	(IMLA) Contributed Talks C5
Becker, Justus	(IMLA) Contributed Talks C7
Buzoku, Yll	(IMLA) Contributed Talks C4
D
Dalmonte, Tiziano	(IMLA) Contributed Talks C8
Domenico, Andrea De	(IMLA) Contributed Talks C3
G
Girlando, Marianna	(IMLA) Contributed Talks C7
I
Ikeda, Yuto	(IMLA) Contributed Talks C6
L
Lorenzen, Anton	(IMLA) Contributed Talks C4
M
Montacute, Yoàv	(IMLA) Contributed Talks C5
R
Rojas, Alejandro Javier Solares	(IMLA) Contributed Talks C8
S
Santiago-Fernández, Sofía	(IMLA) Contributed Talks C2
Sauter, Luca	(IMLA) Contributed Talks C1
Shillito, Ian	(IMLA) Contributed Talks C4
Smykalla, Michel V.	(IMLA) Contributed Talks C8
W
Watters, Sean	(IMLA) Contributed Talks C1
Y
Yin, Haoxuan	(IMLA) Contributed Talks C3