Federated Logic Conference 2026 — Author Index (LAMAS-SR)

LAMAS-SR TALK AUTHOR INDEX

Shortcuts: C D G K L P R S T W

PROGRAM | AUTHORS

C
Costantini, Stefania	(LAMAS-SR) Session II
D
Demri, Stéphane	(LAMAS-SR) Stéphane Demri 'Strategic Reasoning Under Limited Resource Production'
G
Gaillard, Pierre	(LAMAS-SR) Session II
Giacomo, Giuseppe De	(LAMAS-SR) Session I
Gierasimczuk, Nina	(LAMAS-SR) Session III
Godziszewski, Michał Tomasz	(LAMAS-SR) Session I (LAMAS-SR) Session II
Goranko, Valentin	(LAMAS-SR) Session III (LAMAS-SR) Session IV
K
KARABULUT, NAZLI NUR	(LAMAS-SR) Session II
Khaitovich, Daniil	(LAMAS-SR) Session IV
L
Li, Yinfeng	(LAMAS-SR) Session III
Liau, Churn-Jung	(LAMAS-SR) Session III
P
Perelli, Giuseppe	(LAMAS-SR) Giuseppe Perelli 'Mechanism Redesign: Repairing Techniques for Synthesis and Rational Synthesis'
R
Rajasekaran, Senthil	(LAMAS-SR) Session III
S
Sadowski, Albert	(LAMAS-SR) Session IV
Schnitzer, Yannik	(LAMAS-SR) Session I
T
Thangasuthan, Kokulan	(LAMAS-SR) Session I
W
Wawer, Michał	(LAMAS-SR) Session II
Woolner, Lucas	(LAMAS-SR) Session IV