Federated Logic Conference 2026 — Author Index (SMT)

SMT TALK AUTHOR INDEX

Shortcuts: B C D F H J K L N P R S T W

PROGRAM | AUTHORS

B
Baelde, David	(SMT) Decision Procedures & Automation
Barbosa, Haniel	(SMT) Invited Talk + Encodings (SMT) SMT-COMP & Business Meeting
Bobot, François	(SMT) SMT
Bury, Guillaume	(SMT) Invited Talk + Parallelism
C
Cleaveland, Rachel	(SMT) Arrays, Datatypes & Relational Reasoning
D
Dančo, Marek	(SMT) Decision Procedures & Automation
F
Fontaine, Pascal	(SMT) Learning, LLMs & Counting
H
Hader, Thomas	(SMT) MCSat & Nonlinear Arithmetic
Hakak, Tomer	(SMT) Invited Talk + Encodings
Hernández, Jorge Gallego	(SMT) MCSat & Nonlinear Arithmetic
J
Janoschek, Patrick	(SMT) Arrays, Datatypes & Relational Reasoning
Janota, Mikoláš	(SMT) Learning, LLMs & Counting
Jonas, Martin	(SMT) Arrays, Datatypes & Relational Reasoning
K
Kaufmann, Daniela	(SMT) Invited Talk + Encodings
Kolbin, Alexej	(SMT) MCSat & Nonlinear Arithmetic
L
Lu, Zhengyang (John)	(SMT) Learning, LLMs & Counting
N
Norrman, Kristoffer	(SMT) Decision Procedures & Automation
P
Przybocki, Benjamin	(SMT) SMT
R
Raya, Rodrigo	(SMT) Arrays, Datatypes & Relational Reasoning
Reynolds, Andrew	(SMT) MCSat & Nonlinear Arithmetic
S
Schreiber, Dominik	(SMT) Invited Talk + Parallelism
Schurr, Hans-Joerg	(SMT) Decision Procedures & Automation
Shaw, Arijit	(SMT) Learning, LLMs & Counting
T
Tinelli, Cesare	(SMT) SMT
W
Wilson, Amalee	(SMT) Invited Talk + Parallelism
Winterer, Dominik	(SMT) SMT-COMP & Business Meeting