[TYPES/announce] SMT 2023 - Final CFP - Extended Deadlines to May 5

[Mathias Preiner]

=======================================================================
SMT 2023: 20th International Workshop on Satisfiability Modulo Theories

Rome, Italy, July 5-6, 2023
=======================================================================

Abstract submission  May 5, 2023 11.59 pm AoE (Anywhere on Earth)
Paper Submission     May 5, 2023 11.59 pm AoE (Anywhere on Earth)
Notification         June 1, 2023
Conference website   https://urldefense.com/v3/__http://smt-workshop.cs.uiowa.edu/2023/__;!!IBzWLUs!Sa8_81-sKOX0o4vRy35O4hjtigeHj_yKMMQ_oHpYzScBoo0KBrNJzWsqqNe1WJhjoevF4KhGk5lcE4U8kGvTT5ulsRReqJ2rmuW7$ 
Submission link      https://urldefense.com/v3/__https://easychair.org/conferences/?conf=smt2023__;!!IBzWLUs!Sa8_81-sKOX0o4vRy35O4hjtigeHj_yKMMQ_oHpYzScBoo0KBrNJzWsqqNe1WJhjoevF4KhGk5lcE4U8kGvTT5ulsRReqCL0xmio$ 

== Overview

SMT 2023 is the 21st International Workshop on Satisfiability Modulo
Theories. It is affiliated with CADE 2023 and will be held on July
5th-6th, 2023, in Rome, Italy.

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.

== Submission Guidelines

Three categories of submissions are invited:

    1. 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 the full 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.

    2. Original papers: contain original research (simultaneous
       submissions are not allowed) 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.

    3. 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.

Papers in all three categories will be peer-reviewed. Papers should
not exceed 10 pages and should be in standard-conforming PDF. The 10
page limit does not include references, and technical details may be
included in an appendix to be read at the reviewers' discretion. Final
versions should be prepared in LaTeX using the easychair.cls class
file. To submit a paper, go to the EasyChair SMT 2023 submission page
and follow the instructions there.

== Invited Speakers

Mike Whalen, Amazon
Oded Padon, VMware Research

== Program Chairs

Stéphane Graham-Lengrand, SRI International
Mathias Preiner, Stanford University

== Program Committee

Leonardo Alt, Ethereum Foundation
Clark Barrett, Stanford University
François Bobot, CEA
Martin Brain, City, University of London
Simon Cruanes, Imandra
Rayna Dimitrova, CISPA Helmholtz Center for Information Security
Bruno Dutertre, Amazon Web Services
Katalin Fazekas, TU Wien
Jochen Hoenicke, Certora
Antti Hyvärinen, Certora
Ahmed Irfan, SRI International
Mikolas Janota, Czech Technical University in Prague
Martin Jonas, Masaryk University, Czech Republic
Daniela Kaufmann , TU Wien
Aina Niemetz, Stanford University
Andres Noetzli, Cubist Inc.
Tanja Schindler, University of Liège
Hans-Jörg Schurr, University of Iowa
Sophie Tourret, INRIA and MPI for Informatics
Yoni Zohar, Bar Ilan University
-------------- next part --------------
A non-text attachment was scrubbed...
Name: OpenPGP_0xA4AF2BDE778B2463.asc
Type: application/pgp-keys
Size: 4866 bytes
Desc: OpenPGP public key
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20230420/0fa0ec56/attachment-0001.skr>