Federated Logic Conference 2026 — Author Index (TLLA)

TLLA TALK AUTHOR INDEX

Shortcuts: B C D F G H J L M N O P S U W

PROGRAM | AUTHORS

B
Blondeau-Patissier, Lison	(TLLA) Lison Blondeau-Patissier (Invited)
C
Capucci, Matteo	(TLLA) S3.2
D
Díaz-Caro, Alejandro	(TLLA) S3.2
Donna, Raffaele Di	(TLLA) S1.2
F
Faveri, Arturo De	(TLLA) S2
G
Guardia, Rémi Di	(TLLA) S1.2
H
Hilsenrath, Isaiah	(TLLA) S2.1
J
Jaramillo, Juan	(TLLA) S4
L
Lago, Ugo Dal	(TLLA) Ugo Dal Lago (Invited Tutorial, joint with ITRS) (TLLA) S3.1
Laurent, Olivier	(TLLA) S1.2
M
Melliès, Paul-André	(TLLA) S1.2
N
Nguyễn, Lê Thành Dũng (Tito)	(TLLA) S3.2
O
Olimpieri	(TLLA) Ugo Dal Lago (Invited Tutorial, joint with ITRS) (TLLA) Hugo Paquet (Invited, joint with Galop) (TLLA) S2.1 (TLLA) S1.2 (TLLA) S2 (TLLA) Brigitte Pientka (Invited) (TLLA) Lison Blondeau-Patissier (Invited) (TLLA) S4.1 (TLLA) S3.1 (TLLA) S4 (TLLA) S3.2
P
Paquet, Hugo	(TLLA) Hugo Paquet (Invited, joint with Galop)
Pientka, Brigitte	(TLLA) Brigitte Pientka (Invited)
Piotrovskaya, Ekaterina	(TLLA) S4
S
Smykalla, Michel	(TLLA) S2
Speight, Sam	(TLLA) S2.1
Szafarczyk, Artur	(TLLA) S4.1
U
Uthaiwat, Emilie	(TLLA) S2
W
Waring, Thomas	(TLLA) S4