Federated Logic Conference 2026 — Author Index (QBF)

QBF TALK AUTHOR INDEX

Shortcuts: B C F J K M N P R S T W

PROGRAM | AUTHORS

B
Bhavnani, Sidhant	(QBF) Pragmatics of QBF
Böhm, Benjamin	(QBF) QBF Proof Complexity (PC and QBF Joint Session)
C
Chede, Sravanthi	(QBF) QBF Counting, Sampling and Synthesis
Cheng, Che	(QBF) QBF Counting, Sampling and Synthesis
Chew, Leroy	(QBF) Dependency QBF (QBF) QBF Proof Complexity (PC and QBF Joint Session)
Choudhury, Abhimanyu	(QBF) QBF Proof Complexity (PC and QBF Joint Session)
F
Fried, Dror	(QBF) QBF Counting, Sampling and Synthesis
J
Johannsen, Jan	(QBF) QBF Proof Complexity (PC and QBF Joint Session)
K
Kasche, Lea	(QBF) QBF Proof Complexity (PC and QBF Joint Session)
M
Mayer-Eichberger, Valentin	(QBF) Pragmatics of QBF
N
Nieh, Chen-Ching	(QBF) Dependency QBF
P
Peitl, Tomas	(QBF) Pragmatics of QBF
Pfeiffer, Peter	(QBF) QBF Counting, Sampling and Synthesis
R
Reichl, Franz	(QBF) QBF Counting, Sampling and Synthesis
S
Seidl, Martina	(QBF) Dependency QBF
Seip, Paul	(QBF) Dependency QBF
T
Tan, Tony	(QBF) Pragmatics of QBF
W
Wimmer, Ralf	(QBF) Dependency QBF