Federated Logic Conference 2026 — Author Index (PCCR)

PCCR TALK AUTHOR INDEX

Shortcuts: A F G K M N O S

PROGRAM | AUTHORS

A
Alex, Kevin Kurien	(PCCR) Contributed Talks
F
Fichte, Johannes	(PCCR) Johannes Fichte
G
Ganian, Robert	(PCCR) Contributed Talks (PCCR) Robert Ganian
Grigorjew, Andreas	(PCCR) Contributed Talks
K
Khazaliya, Liana	(PCCR) Contributed Talks
Kumar, Pankaj	(PCCR) Contributed Talks
M
Marques-Silva, Joao	(PCCR) Joao Marques-Silva
N
Neuen, Daniel	(PCCR) Daniel Neuen
O
Ordyniak, Sebastian	(PCCR) Welcome (PCCR) George Osipov (PCCR) Daniel Neuen (PCCR) Contributed Talks (PCCR) Contributed Talks (PCCR) Roohani Sharma (PCCR) Joao Marques-Silva (PCCR) Sebastian Siebertz (PCCR) Robert Ganian (PCCR) Johannes Fichte (PCCR) Open Problems and Discussion
Osipov, George	(PCCR) George Osipov
S
Sharma, Roohani	(PCCR) Roohani Sharma
Siebertz, Sebastian	(PCCR) Sebastian Siebertz
Stargalla, Moritz	(PCCR) Contributed Talks