Federated Logic Conference 2026

MC TALK AUTHOR INDEX

Shortcuts: A B C F K L M N S

PROGRAM | AUTHORS

A
Akshay, S.	(MC) Proof Logging and Knowledge Compilation (MC) Weighted Counting over Theories and First-Order Structures
B
Bannach, Max	(MC) Complexity and Explanations
Beyersdorff, Olaf	(MC) Opening and Proof Complexity
C
Colnet, Alexis de	(MC) Proof Logging and Knowledge Compilation
F
Fichte, Johannes	(MC) Opening and Proof Complexity
K
Kiam, Tan Yong	(MC) Proof Logging and Knowledge Compilation
Kuzelka, Ondrej	(MC) Weighted Counting over Theories and First-Order Structures
L
Lagniez, Jean-Marie	(MC) Proof Logging and Knowledge Compilation
M
Meel, Kuldeep	(MC) Opening and Proof Complexity
N
Naik, Ajinkya	(MC) Weighted Counting over Theories and First-Order Structures
S
Shaw, Arijit	(MC) Complexity and Explanations (MC) Weighted Counting over Theories and First-Order Structures
Spallitta, Giuseppe	(MC) Complexity and Explanations (MC) Weighted Counting over Theories and First-Order Structures