Call for papers SMT 2026
5 views
Skip to first unread message
Haniel Barbosa
Apr 23, 2026, 4:01:20 PM (7 days ago) Apr 23
to smt...@googlegroups.com
=====================================================================
SMT 2026: 24th International Workshop on Satisfiability Modulo
Theories
Lisbon, PT, July 24–25, 2026
Affiliated with IJCAR 2026
=====================================================================
Website: https://smt-workshop.cs.uiowa.edu/2026/
Submission deadline: May 3rd, 2026 (AOE)
Notification: May 30th, 2026
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.
Aim 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.
Paper submission and Proceedings
--------------------------------
Three categories of submissions are invited:
- Extended abstracts : given the informal style of the workshop, we
strongly encourage the submission of preliminary reports of work in
progress. They may range in length from very short (a couple of
pages) to 10 pages and they will be judged based on the expected
level of interest for the SMT community. They will be included in the
informal proceedings.
- Original papers: contain original research and sufficient detail to
assess the merits and relevance of the submission. For papers
reporting experimental results, authors are strongly encouraged to
make their data available. Original papers should not exceed 12 pages
(excluding references).
- Presentation-only papers: describe work recently published or
submitted and will not be included in the proceedings. We see this as
a way to provide additional access to important developments that SMT
Workshop attendees may be unaware of. Presentation-only papers may be
submitted as originally published, if published elsewhere, and should
not exceed 12 pages otherwise.
Papers in all three categories will be peer-reviewed. All papers
should be in standard-conforming PDF. Technical details may be
included in an appendix to be read at the reviewers' discretion.
Final versions should be prepared in LaTeX using the CEURART style
file. The page limit does not include references. Proceedings shall
be submitted to CEUR-WS.org for online publication.
Submission site: https://submissions.floc26.org/smt
Invited Speakers
----------------
TBA
Program Chairs
--------------
Haniel Barbosa – UFMG, Brazil
Guillaume Bury – OCamlPro, France
Program Committee
-----------------
Erika Ábrahám – RWTH Aachen University, Germany
Nikolaj Bjørner – Microsoft, USA
François Bobot – CEA, France
Bruno Dutertre – Amazon Web Services, USA
Katalin Fazekas – TU Wien, Austria
Pascal Fontaine – Université de Liège, Belgium
Stéphane Graham-Lengrand – SRI International, USA
Alberto Griggio – Fondazione Bruno Kessler, Italy
Marijn Heule – Carnegie Mellon University, USA
Jochen Hoenicke – Certora, Germany
Mikoláš Janota – CIIRC, Czech Republic
Ondřej Lengál – Brno University of Technology, Czechia
Aina Niemetz – Stanford University, USA
Mathias Preiner – Stanford University, USA
Andrew Reynolds – University of Iowa and Amazon, USA
Philipp Rümmer – University of Regensburg, Germany
Hans-Jörg Schurr – KU Leuven, Belgium
Natasha Sharygina – Università della Svizzera italiana, Switzerland
Sophie Tourret – Inria, France
Yoni Zohar – Bar-Ilan University, Israel
Contact
All questions about submissions should be emailed to the PC chairs.
SMT 2026: 24th International Workshop on Satisfiability Modulo
Theories
Lisbon, PT, July 24–25, 2026
Affiliated with IJCAR 2026
=====================================================================
Website: https://smt-workshop.cs.uiowa.edu/2026/
Submission deadline: May 3rd, 2026 (AOE)
Notification: May 30th, 2026
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.
Aim 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.
Paper submission and Proceedings
--------------------------------
Three categories of submissions are invited:
- Extended abstracts : given the informal style of the workshop, we
strongly encourage the submission of preliminary reports of work in
progress. They may range in length from very short (a couple of
pages) to 10 pages and they will be judged based on the expected
level of interest for the SMT community. They will be included in the
informal proceedings.
- Original papers: contain original research and sufficient detail to
assess the merits and relevance of the submission. For papers
reporting experimental results, authors are strongly encouraged to
make their data available. Original papers should not exceed 12 pages
(excluding references).
- Presentation-only papers: describe work recently published or
submitted and will not be included in the proceedings. We see this as
a way to provide additional access to important developments that SMT
Workshop attendees may be unaware of. Presentation-only papers may be
submitted as originally published, if published elsewhere, and should
not exceed 12 pages otherwise.
Papers in all three categories will be peer-reviewed. All papers
should be in standard-conforming PDF. Technical details may be
included in an appendix to be read at the reviewers' discretion.
Final versions should be prepared in LaTeX using the CEURART style
file. The page limit does not include references. Proceedings shall
be submitted to CEUR-WS.org for online publication.
Submission site: https://submissions.floc26.org/smt
Invited Speakers
----------------
TBA
Program Chairs
--------------
Haniel Barbosa – UFMG, Brazil
Guillaume Bury – OCamlPro, France
Program Committee
-----------------
Erika Ábrahám – RWTH Aachen University, Germany
Nikolaj Bjørner – Microsoft, USA
François Bobot – CEA, France
Bruno Dutertre – Amazon Web Services, USA
Katalin Fazekas – TU Wien, Austria
Pascal Fontaine – Université de Liège, Belgium
Stéphane Graham-Lengrand – SRI International, USA
Alberto Griggio – Fondazione Bruno Kessler, Italy
Marijn Heule – Carnegie Mellon University, USA
Jochen Hoenicke – Certora, Germany
Mikoláš Janota – CIIRC, Czech Republic
Ondřej Lengál – Brno University of Technology, Czechia
Aina Niemetz – Stanford University, USA
Mathias Preiner – Stanford University, USA
Andrew Reynolds – University of Iowa and Amazon, USA
Philipp Rümmer – University of Regensburg, Germany
Hans-Jörg Schurr – KU Leuven, Belgium
Natasha Sharygina – Università della Svizzera italiana, Switzerland
Sophie Tourret – Inria, France
Yoni Zohar – Bar-Ilan University, Israel
Contact
All questions about submissions should be emailed to the PC chairs.
Reply all
Reply to author
Forward
0 new messages