Federated Logic Conference 2026

SD TALK AUTHOR INDEX

Shortcuts: A B D H I J L M T W

PROGRAM | AUTHORS

A
Allègre, Loïc	(SD) Contributed Talks Session 1
Allett, Cameron	(SD) Invited Talk: Cameron Allett
Atkey, Robert	(SD) Invited Talk: Robert Atkey
B
Baaz, Matthias	(SD) Contributed Talks Session 2
Becker, Justus	(SD) Contributed Talks Session 1
D
Donato, Pablo	(SD) Contributed Talks Session 5
H
Heijltjes, Willem	(SD) Invited Tutorial: Willem Heijltjes
I
Indrzejczak, Andrzej	(SD) Contributed Talks Session 4
J
Jalali, Raheleh	(SD) Invited Talk: Raheleh Jalali (joint with WiL)
L
Laurent, Olivier	(SD) Invited Talk: Olivier Laurent
Lyon, Tim	(SD) Invited Tutorial: Tim Lyon
M
Manara, Giulia	(SD) Contributed Talks Session 3
Mangel, Éléonore	(SD) Contributed Talks Session 5
Miller, Dale	(SD) Contributed Talks Session 5
T
Terui, Kazushige	(SD) Invited Talk: Kazushige Terui
W
Wehr, Dominik	(SD) Contributed Talks Session 3