Federated Logic Conference 2026

PC TALK AUTHOR INDEX

Shortcuts: A B C D E F J K L M P S

PROGRAM | AUTHORS

A
Anderson, Jake	(PC) Contributed Talks 3
B
Baldacchino, Adriana	(PC) Contributed Talks 4
Beyersdorff, Olaf	(PC) Invited Talk 1 (PC) Contributed Talks 1
Böhm, Benjamin	(PC) QBF Joint Invited Talk
Bonacina, Ilario	(PC) Contributed Talks 1 (PC) Contributed Talks 3
C
Chew, Leroy	(PC) QBF Joint Contrib Talks 1
Choudhury, Abhimanyu	(PC) QBF Joint Contrib Talks 1
D
Dawar, Anuj	(PC) Contributed Talks 2
E
Elbaz, Tal	(PC) Contributed Talks 2
F
Fleming, Noah	(PC) Invited Talk 3
J
Johannsen, Jan	(PC) Invited Talk 2 (PC) Contributed Talks 2 (PC) QBF Joint Contrib Talks 1 (PC) Contributed Talks 3
K
Kasche, Lea	(PC) QBF Joint Invited Talk (PC) QBF Joint Contrib Talks 1
L
Lauria, Massimo	(PC) Contributed Talks 4 (PC) Invited Talk 3 (PC) Contributed Talks 5
M
Micun, Matthäus	(PC) Contributed Talks 5
Monroe, Hunter	(PC) Contributed Talks 4
P
Pich, Jan	(PC) Invited Talk 1
S
Sokolov, Dmitry	(PC) Invited Talk 2