SMT 2026
24th International Workshop on Satisfiability Modulo Theories
July 24–25, 2026, Lisbon, PT
Affiliated with
IJCAR 2026
Home
Committees
Program Chairs
Haniel Barbosa
UFMG, Brazil
Guillaume Bury
OCamlPro, France
Program Committee
TBD
Related Events
SMT 2025
SMT 2024
SMT 2023
SMT 2022
SMT 2021
SMT 2020
SMT 2019
SMT 2018
SMT 2017
SC
2
2017
SMT 2016
SMT 2015
SMT 2014
SMT 2013
SMT 2012
SMT 2011
SMT 2010
SMT 2009
SMT 2008
SMT 2007
PDPAR 2006
PDPAR 2005
PDPAR 2004
PDPAR 2003