Federated Logic Conference 2026 — Author Index (GALOP)

GALOP TALK AUTHOR INDEX

Shortcuts: B C F K L M P Q T Y

PROGRAM | AUTHORS

B
Baldacchino, Adriana	(GALOP) Contributed Talks - Session 4
Behnia, Sayna	(GALOP) Contributed Talks - Session 2
Bisping, Benjamin	(GALOP) Contributed Talks - Session 4
Blot, Valentin	(GALOP) Contributed Talks - Session 2
Bunting, Benedict	(GALOP) Contributed Talks - Session 1
C
Cirstea, Corina	(GALOP) Keynote talk - Corina Cirstea
Clairambault, Pierre	(GALOP) Contributed Talks - Session 3
F
Forest, Simon	(GALOP) Joint keynote talk with ITRS - Simon Forest
K
Kim, Sangwoo	(GALOP) Contributed Talks - Session 3
L
Lancelot, Adrienne	(GALOP) Contributed Talks - Session 4
Levy, Paul Blain	(GALOP) Contributed Talks - Session 3
M
Melliès, Paul-André	(GALOP) Contributed Talks - Session 2
P
Paquet, Hugo	(GALOP) Joint keynote talk with TLLA - Hugo Paquet
Q
Quémerais, Iwan	(GALOP) Contributed Talks - Session 1
T
Tzevelekos, Nikos	(GALOP) Joint keynote talk with WPTE - Nikos Tzevelekos
Y
Yin, Haoxuan	(GALOP) Contributed Talks - Session 1