Federated Logic Conference 2026 — Author Index (WST)

WST TALK AUTHOR INDEX

Shortcuts: B C F H K L M N R S

PROGRAM | AUTHORS

B
Berardi, Stefano	(WST) Beyond Classical Rewriting
C
Carelli, Mishel	(WST) Termination of Loops
F
Frohn, Florian	(WST) Termination of Loops (WST) Beyond Classical Rewriting (WST) Program Analysis
Fuhs, Carsten	(WST) Termination of First-Order Rewriting (WST) Beyond Classical Rewriting
H
Hofbauer, Dieter	(WST) Termination of First-Order Rewriting
K
Kassing, Jan-Christoph	(WST) Beyond Classical Rewriting
Kheireddine, Anissa	(WST) Termination of Loops
L
Lommen, Nils	(WST) Program Analysis
M
Meyer, Éléanore	(WST) Program Analysis
N
Niederhauser, Johannes	(WST) Termination of First-Order Rewriting (WST) Beyond Classical Rewriting
Nishida, Naoki	(WST) Termination of First-Order Rewriting (WST) Program Analysis
R
Rustenholz, Louis	(WST) Termination of Loops (WST) Program Analysis
S
Saito, Teppei	(WST) Termination of First-Order Rewriting