Logic List Mailing Archive

CfP: SMT 2024: 22nd International Workshop on Satisfiability Modulo Theories, 22-23 July 2024, Montreal (Canada)

=========================
=========================
======

SMT 2024: 22nd International Workshop on Satisfiability Modulo Theories

Montreal, Canada, July 22-23, 2024

=========================
=========================
======


Paper Submission: May 6, 2024 11.59 pm AoE (Anywhere on Earth)

Notification: June 1, 2024

Conference website  http://smt-workshop.cs.uiowa.edu/2024/

Submission link   https://easychair.org/conferences/?conf=smt2024


== Overview

The aim of the workshop is to bring together researchers and users of SMT t
ools and techniques.
Relevant topics include but are not limited to:

- Decision procedures and theories of interest

- Combinations of decision procedures

- Novel implementation techniques

- Applications and case studies

- Benchmarks and evaluation methodologies

- Theoretical results


== Paper submission and Proceedings


Three categories of submissions are invited:


1. Extended abstracts : given the informal style of the workshop, we strong
ly encourage the submission of preliminary reports of work in progress. The
y may range in length from very short (a couple of pages) to the full 10 pa
ges 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 t
he submission. For papers reporting experimental results, authors are stron
gly 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 provid
e additional access to important developments that SMT Workshop attendees m
ay be unaware of.


Papers in all three categories will be peer-reviewed. Extended abstracts an
d original papers should not exceed 10 pages. All papers should be in stand
ard-conforming PDF. Technical details may be included in an appendix to be 
read at the reviewers' discretion. Final versions should be prepared in LaT
eX using the easychair.cls class file. (The 10 page limit does not include 
references.). Presentation-only papers may be submitted as originally publi
shed, if published elsewhere, and should not exceed 10 pages otherwise.


== Special Issue

Selected submissions may be invited to be included in a planned special iss
ue of "acta informatica" (to be confirmed).


== Invited Speakers

Sophie Tourret (INRIA)

Mathias Preiner (Stanford University)


== Program Chairs

Giles Reger - Amazon Web Services

Yoni Zohar - Bar-Ilan University


== Program Committee

Katalin Fazekas (TU Wien)

Viktor Kuncak (Ecole Polytechnique Fdrale de Lausanne)

Ahmed Irfan (SRI International)

Aina Niemetz (Stanford University)

Andrew Reynolds (University of Iowa)

Daniela Kaufmann (TU Wien)

Haniel Barbosa (Universidade Federal de Minas Gerais)

Nadia Labai (Amazon)

Clark Barrett (Stanford University)

Alexander Nadel (Technion & Intel)

Philipp Rmmer (University of Regensburg)

Nestan Tsiskaridze (Stanford University)

Guilherme Toledo (State University of Campinas)

Yannick Moy (AdaCore)

Martin Suda (Czech Technical University in Prague)

Stphane Graham-Lengrand (SRI International)

Franois Bobot (CEA)

Mate Soos (Ethereum Foundation)

Nikolaj Bjrner (Microsoft)



--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php