Federated Logic Conference 2026 — Author Index (FORCE)

FORCE TALK AUTHOR INDEX

Shortcuts: A B C H J K L S T V X Z

PROGRAM | AUTHORS

A
Amilon, Jesper	(FORCE) Industrial applications
B
Bresolin, Davide	(FORCE) Theory and logics
Bucchiarone, Antonio	(FORCE) Runtime monitoring
C
Cofer, Darren	(FORCE) Industrial applications
H
HAERI, Seyed Hossein	(FORCE) Industrial applications
Hipler, Raik	(FORCE) Runtime monitoring
Hoxha, Bardh	(FORCE) Runtime monitoring
J
Jacks, Michael	(FORCE) Runtime monitoring
K
Könighofer, Bettina	(FORCE) Autonomous and learning-enabled systems
L
Lac, Etienne	(FORCE) Industrial applications
S
Scaletta, Marco	(FORCE) Theory and logics
Ślusarz, Natalia	(FORCE) Autonomous and learning-enabled systems
Sun, Youcheng	(FORCE) Autonomous and learning-enabled systems
T
Teuber, Samuel	(FORCE) Theory and logics
V
Vin, Eric	(FORCE) Autonomous and learning-enabled systems
X
Xiao, Yifeng	(FORCE) Theory and logics
Z
Zardini, Gioele	(FORCE) Theory and logics