Federated Logic Conference 2026 — Author Index (THEMA)

PROGRAM AUTHORS Search

THEMA TALK AUTHOR INDEX

Shortcuts: A B C H K L M N R S

PROGRAM | AUTHORS

A
Apostolakis, Iosif	(THEMA) Session 1
B
Banihashemi, Bita	(THEMA) Session 1
C
Conti, Ludovica	(THEMA) Session 2
H
Hofmann, Till	(THEMA) Session 1A
K
Kutz, Oliver	(THEMA) Invited Talk 2 (THEMA) Session 2
L
Leemhuis, Mena	(THEMA) Session 1
M
McIlraith, Sheila A.	(THEMA) Invited Talk 1
N
Nagle, Fintan	(THEMA) Session 1
R
Righetti, Guendalina	(THEMA) Session 2
Romanenko, Elena	(THEMA) Invited Talk 2
S
Saribatur, Zeynep G.	(THEMA) Welcome (THEMA) Invited Talk 1 (THEMA) Session 1A (THEMA) Session 1 (THEMA) Invited Talk 2 (THEMA) Session 2 (THEMA) Interactive Session
Sauerwald, Kai	(THEMA) Session 1 (THEMA) Session 2 (THEMA) Interactive Session

🔍

↑