Federated Logic Conference 2026 — Author Index (FMQC)

FMQC TALK AUTHOR INDEX

Shortcuts: B C F H I L P Q

PROGRAM | AUTHORS

B
Bannach, Max	(FMQC) Model Counting (FMQC) Verification and Synthesis
BLAKE, Colin	(FMQC) Representation of Quantum Information
C
Chen, Yu-Fang	(FMQC) Verification and Synthesis
Coecke, Bob	(FMQC) Opening and Keynote
Coopmans, Tim	(FMQC) Representation of Quantum Information (FMQC) Model Counting
F
Fichte, Johannes Klaus	(FMQC) Model Counting
H
Havlík, Jakub	(FMQC) Verification and Synthesis
Hecher, Markus	(FMQC) Model Counting
I
Issa, Jad	(FMQC) Verification and Synthesis
L
Laarman, Alfons	(FMQC) Opening and Keynote
Lee, Joon	(FMQC) Model Counting
Lengál, Ondřej	(FMQC) Representation of Quantum Information
P
Pol, Jaco van de	(FMQC) Representation of Quantum Information
Q
Quist, Arend-Jan	(FMQC) Representation of Quantum Information