SMT-announce - Google Groups

Groups

Contact owners and managers

1–30 of 372

Welcome. This forum is dedicated to announcements (for conferences, positions, etc.) that may be of interest to the SMT community. The forum is moderated and users sending spam will be removed.

0 selected

Francesco Calimeri

Jul 18

[NEW submission deadline] - Call for Papers - 5th International AIxIA Workshop on Artificial Intelligence for Healthcare HC@AIxIA 2026

Please circulate within your networks. Apologies for multiple postings. 🆕 DEADLINE EXTENDED 🆕 New

unread,

[NEW submission deadline] - Call for Papers - 5th International AIxIA Workshop on Artificial Intelligence for Healthcare HC@AIxIA 2026

Please circulate within your networks. Apologies for multiple postings. 🆕 DEADLINE EXTENDED 🆕 New

Jul 18

Dominik Winterer

Jul 16

[SMTComp '26, cloud track] Dedicated call for Solvers

================================================= 21th International Satisfiability Modulo Theories

unread,

[SMTComp '26, cloud track] Dedicated call for Solvers

================================================= 21th International Satisfiability Modulo Theories

Jul 16

Jul 15

PhD and PostDoc positions at KU Leuven

Dear colleagues, There are open positions in my research group for working in general on

unread,

PhD and PostDoc positions at KU Leuven

Dear colleagues, There are open positions in my research group for working in general on

Jul 15

Jakob Nordström

Jul 7

Call for participation: 3rd International Workshop on Highlights in Organizing and Optimizing Proof-logging Systems (WHOOPS '26)

Dear colleagues, We would like to invite you to participate in the 3rd International Workshop on

unread,

Call for participation: 3rd International Workshop on Highlights in Organizing and Optimizing Proof-logging Systems (WHOOPS '26)

Dear colleagues, We would like to invite you to participate in the 3rd International Workshop on

Jul 7

Tanja Schindler2

Jun 16

FMCAD 2026 Student Forum CFP

Dear all, We are extending the deadlines for the FMCAD 2026 Student Forum. The new deadlines are:

unread,

FMCAD 2026 Student Forum CFP

Dear all, We are extending the deadlines for the FMCAD 2026 Student Forum. The new deadlines are:

Jun 16

Jun 15

VSTTE 2026: Second Call for Papers and WIP Presentations

VSTTE 2026: Second Call for Papers and WIP Presentations 18th International Conference on Verified

unread,

VSTTE 2026: Second Call for Papers and WIP Presentations

VSTTE 2026: Second Call for Papers and WIP Presentations 18th International Conference on Verified

Jun 15

Dominik Winterer

May 16

[SMT-COMP '26] Final Call for Solvers

================================================= 21th International Satisfiability Modulo Theories

unread,

[SMT-COMP '26] Final Call for Solvers

================================================= 21th International Satisfiability Modulo Theories

May 16

May 13

[Final Call for Papers] ML4SP @ FLoC 2026 - Deadline May 15 (Submission system fixed!)

Dear colleagues, This is a quick final reminder that the submission deadline for the 2nd Workshop on

unread,

[Final Call for Papers] ML4SP @ FLoC 2026 - Deadline May 15 (Submission system fixed!)

Dear colleagues, This is a quick final reminder that the submission deadline for the 2nd Workshop on

May 13

Jakob Nordström

May 10

MIAO seminar Mon Jun 1 at 14:00 CEST with Alexander Nadel: SAT solving and beyond: A fresh intro and recent developments

Dear colleagues, This is just to advertise that on Monday June 1 at 14:00 CEST, the MIAO seminar

unread,

MIAO seminar Mon Jun 1 at 14:00 CEST with Alexander Nadel: SAT solving and beyond: A fresh intro and recent developments

Dear colleagues, This is just to advertise that on Monday June 1 at 14:00 CEST, the MIAO seminar

May 10

May 7

[ModRef 2026] Abstract deadline extension and final CFP

Dear colleagues, The abstract registration deadline for ModRef 2026 has been extended to May 11 (AoE)

unread,

[ModRef 2026] Abstract deadline extension and final CFP

Dear colleagues, The abstract registration deadline for ModRef 2026 has been extended to May 11 (AoE)

May 7

Jakob Nordström

May 5

Final call for contributions: 3rd International Workshop on Highlights in Organizing and Optimizing Proof-logging Systems (WHOOPS '26)

Dear colleagues, This is a reminder about the May 15 deadline for contributions to the 3rd

unread,

Final call for contributions: 3rd International Workshop on Highlights in Organizing and Optimizing Proof-logging Systems (WHOOPS '26)

Dear colleagues, This is a reminder about the May 15 deadline for contributions to the 3rd

May 5

Hans-Joerg Schurr

May 5

Call for Benchmarks 2026

Hello SMT community! # Call for Benchmarks As every year, we are again collecting benchmarks for the

unread,

Call for Benchmarks 2026

Hello SMT community! # Call for Benchmarks As every year, we are again collecting benchmarks for the

May 5

Katherine Kosaian3

May 4

SC-Square 2026: Call for Papers

Hi all, there will be a second deadline extension for SC-Square as follows. Abstract submission: 10

unread,

SC-Square 2026: Call for Papers

Hi all, there will be a second deadline extension for SC-Square as follows. Abstract submission: 10

May 4

Apr 30

SMT 2026: Deadline extension

Hello, Due to multiple requests, we have decided to extend the deadlines for submissions to the SMT

unread,

SMT 2026: Deadline extension

Hello, Due to multiple requests, we have decided to extend the deadlines for submissions to the SMT

Apr 30

Manuel Alejandro Borroto Santana

Apr 30

[EULP 2026 - Call for Papers] 1st Workshop on End-User Logic Programming, Lisbon, Portugal | July 26

Call for Papers 1st Workshop on End-User Logic Programming (EULP 2026) July 18, 2026 | Lisbon,

unread,

[EULP 2026 - Call for Papers] 1st Workshop on End-User Logic Programming, Lisbon, Portugal | July 26

Call for Papers 1st Workshop on End-User Logic Programming (EULP 2026) July 18, 2026 | Lisbon,

Apr 30

Apr 24

Second Calls for Papers: 2nd Workshop on Machine Learning for Solvers and Provers

[Apologies if you have received multiple copies of this email] Dear colleagues, We warmly invite you

unread,

Second Calls for Papers: 2nd Workshop on Machine Learning for Solvers and Provers

[Apologies if you have received multiple copies of this email] Dear colleagues, We warmly invite you

Apr 24

Apr 23

Call for papers SMT 2026

===================================================================== SMT 2026: 24th International

unread,

Call for papers SMT 2026

===================================================================== SMT 2026: 24th International

Apr 23

Apr 16

[FMCAD 2026] Second Call for Papers for Formal Methods in Computer-Aided Design

CALL FOR PAPERS 26th International Conference on Formal Methods in Computer-Aided Design FMCAD 2026

unread,

[FMCAD 2026] Second Call for Papers for Formal Methods in Computer-Aided Design

CALL FOR PAPERS 26th International Conference on Formal Methods in Computer-Aided Design FMCAD 2026

Apr 16

Tinelli, Cesare

Apr 16

Marktoberdorf Summer School 2026: Call for Participation

MARKTOBERDORF INTERNATIONAL SUMMER SCHOOL ON ENGINEERING SECURE AND DEPENDABLE SOFTWARE SYSTEMS

unread,

Marktoberdorf Summer School 2026: Call for Participation

MARKTOBERDORF INTERNATIONAL SUMMER SCHOOL ON ENGINEERING SECURE AND DEPENDABLE SOFTWARE SYSTEMS

Apr 16

Dominik Winterer

Apr 13

[SMT-COMP '26] Call for Comments, Preliminary Call for Solvers

====================================================================== 21st International

unread,

[SMT-COMP '26] Call for Comments, Preliminary Call for Solvers

====================================================================== 21st International

Apr 13

Manuel Alejandro Borroto Santana

Apr 8

[C.A.R.L.A. 2026 - Second Call for Papers] 2nd Workshop on Cognitive Architectures for Robotics: LLMs and Logic in Action, Lisbon, Portugal | July 26

2nd Call for Papers 2nd Workshop on Cognitive Architectures for Robotics: LLMs and Logic in Action (

unread,

[C.A.R.L.A. 2026 - Second Call for Papers] 2nd Workshop on Cognitive Architectures for Robotics: LLMs and Logic in Action, Lisbon, Portugal | July 26

2nd Call for Papers 2nd Workshop on Cognitive Architectures for Robotics: LLMs and Logic in Action (

Apr 8

Jakob Nordström

Apr 7

Call for contributions: 3rd International Workshop on Highlights in Organizing and Optimizing Proof-logging Systems (WHOOPS '26)

Dear colleagues, We would be most grateful for your assistance in distributing the information that

unread,

Call for contributions: 3rd International Workshop on Highlights in Organizing and Optimizing Proof-logging Systems (WHOOPS '26)

Dear colleagues, We would be most grateful for your assistance in distributing the information that

Apr 7

Mar 19

VSTTE 2026: First Call for Papers and WIP Presentations

18th International Conference on Verified Software: Theories, Tools, and Experiments 14 September,

unread,

VSTTE 2026: First Call for Papers and WIP Presentations

18th International Conference on Verified Software: Theories, Tools, and Experiments 14 September,

Mar 19

Feb 10

CFP 32nd Conference on Principles and Practice of Constraint Programming CP 2026

Thirty Second Conference on Principles and Practice of Constraint Programming CP 2026 July 20-23,

unread,

CFP 32nd Conference on Principles and Practice of Constraint Programming CP 2026

Thirty Second Conference on Principles and Practice of Constraint Programming CP 2026 July 20-23,

Feb 10

Feb 10

ModRef 2026: Call for Papers

We invite you to submit your work to ModRef 2026, the 25th workshop on Constraint Modelling and

unread,

ModRef 2026: Call for Papers

We invite you to submit your work to ModRef 2026, the 25th workshop on Constraint Modelling and

Feb 10

Feb 10

CfP: 2nd Workshop on Machine Learning for Solvers and Provers - Lisbon - July 18

[Apologies if you have received multiple copies of this email] Dear colleagues, We warmly invite you

unread,

CfP: 2nd Workshop on Machine Learning for Solvers and Provers - Lisbon - July 18

[Apologies if you have received multiple copies of this email] Dear colleagues, We warmly invite you

Feb 10

Feb 9

CS Teaching Fellow, Lancaster Leipzig

Hello everyone, Vacancy as from subject, here is the advert: https://hr-jobs.lancs.ac.uk/Vacancy.aspx

unread,

CS Teaching Fellow, Lancaster Leipzig

Hello everyone, Vacancy as from subject, here is the advert: https://hr-jobs.lancs.ac.uk/Vacancy.aspx

Feb 9

Pascal Fontaine

Feb 9

Academic position at the University of Liège, Belgium

Hi All, this position announcement below is also relevant for the SMT people. Best, Pascal --- A full

unread,

Academic position at the University of Liège, Belgium

Hi All, this position announcement below is also relevant for the SMT people. Best, Pascal --- A full

Feb 9

Jakob Nordström

Feb 8

Danish Data Science Academy postdoc and PhD positions (deadline March 4, 2026)

Dear colleagues, I would be most grateful for any assistance in distributing the information below

unread,

Danish Data Science Academy postdoc and PhD positions (deadline March 4, 2026)

Dear colleagues, I would be most grateful for any assistance in distributing the information below

Feb 8

Emanuele De Angelis

12/17/25

[ICLP 2026 - Call for Papers] 42nd International Conference on Logic Programming (ICLP’26), ISCTE - Instituto Universitário de Lisboa in Lisbon, Portugal | July 20-23, 2026

------------------------------- Call for Papers 42nd International Conference on Logic Programming (

unread,

[ICLP 2026 - Call for Papers] 42nd International Conference on Logic Programming (ICLP’26), ISCTE - Instituto Universitário de Lisboa in Lisbon, Portugal | July 20-23, 2026

------------------------------- Call for Papers 42nd International Conference on Logic Programming (

12/17/25

Search

Clear search

Close search

Google apps

Main menu