SMT 2023

SMT 2023
SMT 2023
21st International Workshop on Satisfiability Modulo Theories
July 5 - 6, 2023
Affiliated with
CADE-29
Committees
Proceedings
Program
Registration
SMT2023 Sponsors
Important Dates
Abstract submission:
May 5, 2023 (AOE)
Paper submission:
May 5, 2023 (AOE)
Notification:
June 1, 2023
Workshop:
July 5-6, 2023
Call For Papers
The CFP can be found
here
Scope and Topics of Interest
Background
Determining the satisfiability of first-order formulas modulo
background theories, known as the Satisfiability Modulo Theories (SMT)
problem, has proved to be an enabling technology for verification,
synthesis, test generation, compiler optimization, scheduling, and
other areas. The success of SMT techniques depends on the development
of both domain-specific decision procedures for each background theory
(e.g., linear arithmetic, the theory of arrays, or the theory of
bit-vectors) and combination methods that allow one to obtain more
versatile SMT tools, usually leveraging Boolean satisfiability (SAT)
solvers. These ingredients together make SMT techniques well-suited
for use in larger automated reasoning and verification efforts.
Aims and Scope
The aim of the workshop is to bring together researchers and users
of SMT tools and techniques. Relevant topics include but are not
limited to:
Decision procedures and theories of interest
Combinations of decision procedures
Novel implementation techniques
Benchmarks and evaluation methodologies
Applications and case studies
Theoretical results
Papers on pragmatic aspects of implementing and using SMT tools, as
well as novel applications of SMT, are especially encouraged.
More information about the SMT workshop series can be found
on
The International
Workshop on Satisfiability Modulo Theories Website
Related Events
SMT 2022
SMT 2021
SMT 2020
SMT 2019
SMT 2018
SMT 2017
SC
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
TEMPLATED