Federated Logic Conference 2026 — Author Index (CREST)

CREST TALK AUTHOR INDEX

Shortcuts: A B C F G K L P S V

PROGRAM | AUTHORS

A
Abbas, Houssam	(CREST) Contributed Presentations 1
B
Baier, Christel	(CREST) Invited Talk by Christel Baier
Beckers, Sander	(CREST) Invited Talk by Sander Beckers
Bonakdarpour, Borzoo	(CREST) Welcome & Remembering Joseph Y. Halpern (Sander Beckers, Hana Chockler, Moshe Vardi) (CREST) Invited Talk by Sander Beckers (CREST) Contributed Presentations 3
Bosnacki, Dragan	(CREST) Contributed Presentations 3
Bradfield, Julian	(CREST) Contributed Presentations 1
C
Caltais, Georgiana	(CREST) Contributed Presentations 1
Coenen, Norine	(CREST) Contributed Presentations 1 (CREST) Invited Talk by Christel Baier (CREST) Contributed Presentations 2 (CREST) Open Discussion
F
Feldbacher-Escamilla, Christian J.	(CREST) Contributed Presentations 1
G
Grossmann, Gerrit	(CREST) Contributed Presentations 3
K
Kocaoglu, Basak	(CREST) Contributed Presentations 3
L
Lemke, Caroline	(CREST) Contributed Presentations 2
P
Pasetto, Luca	(CREST) Contributed Presentations 1
S
Strobel, Jannick	(CREST) Contributed Presentations 3
V
Vieira, Felipe Lourenço Angelim	(CREST) Contributed Presentations 3