Federated Logic Conference 2026 — Author Index (JoeFest)

JOEFEST TALK AUTHOR INDEX

Shortcuts: B C E F G H L M R S V

PROGRAM | AUTHORS

B
Beckers, Sander	(JoeFest) Contributed Talks 1 (JoeFest) In-Person Invited Talks
C
Chockler, Hana	(JoeFest) Contributed Talks 2 (JoeFest) In-Person Invited Talks (JoeFest) Pre-recorded Invited Talks
E
Eiter, Thomas	(JoeFest) Contributed Talks 2
F
Friends, Various	(JoeFest) Pre-recorded Invited Talks
G
Geffner, Hector	(JoeFest) In-Person Invited Talks
H
Hyland, David	(JoeFest) Contributed Talks 1
L
Lakemeyer, Gerhard	(JoeFest) In-Person Invited Talks
Lang, Jerome	(JoeFest) Contributed Talks 2
M
Majer, Ondrej	(JoeFest) Contributed Talks 2
Manoorkar, Krishna	(JoeFest) Contributed Talks 2
Meyden, Ron van der	(JoeFest) In-Person Invited Talks
R
Russo, Fabrizio	(JoeFest) Contributed Talks 1
S
Samet, Dov	(JoeFest) In-Person Invited Talks
Sridharan, Mohan	(JoeFest) Contributed Talks 1
Strobel, Jannick	(JoeFest) Contributed Talks 2
V
Vardi, Moshe	(JoeFest) In-Person Invited Talks