Groups

SMT-announce

Contact owners and managers

1–30 of 360

This forum is dedicated to announcements (for conferences, positions, etc.) that may be of interest to the SMT community.

0 selected

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

Katherine Kosaian2

Apr 13

SC-Square 2026: Call for Papers

We are extending the SC-Square deadlines to the following: Abstract submission: 24 April Paper

unread,

SC-Square 2026: Call for Papers

We are extending the SC-Square deadlines to the following: Abstract submission: 24 April Paper

Apr 13

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

12/16/25

Call for Papers: Acta Information - Topical Selection on String Solving

Topical Selection on Advances in String Constraints Solving Acta Informatica Call for Papers https://

unread,

Call for Papers: Acta Information - Topical Selection on String Solving

Topical Selection on Advances in String Constraints Solving Acta Informatica Call for Papers https://

12/16/25

Jakob Nordström

11/28/25

Postdoc and PhD openings in combinatorial optimization and/or TCS in Lund (deadline Jan 16)

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

unread,

Postdoc and PhD openings in combinatorial optimization and/or TCS in Lund (deadline Jan 16)

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

11/28/25

11/14/25

$199 Group Rate — Duct & Vent Cleaning (Mike’s Team)

Hi everyone, I've been having airflow and dust issues around the house, so I'm getting my

unread,

$199 Group Rate — Duct & Vent Cleaning (Mike’s Team)

Hi everyone, I've been having airflow and dust issues around the house, so I'm getting my

11/14/25

11/10/25

Call for Applications : P-AI-FM Registration Awards @ AAAI-26

Dear colleagues, We are pleased to announce the P-AI-FM Registration Awards, supporting early-career

unread,

Call for Applications : P-AI-FM Registration Awards @ AAAI-26

Dear colleagues, We are pleased to announce the P-AI-FM Registration Awards, supporting early-career

11/10/25

10/30/25

Call for papers: 3rd International Conference on Neuro-Symbolic Systems (NeuS)

3rd International Conference on Neuro-Symbolic Systems (NeuS) University of Southern California June

unread,

Call for papers: 3rd International Conference on Neuro-Symbolic Systems (NeuS)

3rd International Conference on Neuro-Symbolic Systems (NeuS) University of Southern California June

10/30/25

Jakob Nordström

10/28/25

Zoom seminar Thu Oct 30 at 13:15 CET: Proof complexity as a computational lens

Dear colleagues, With apologies for the short notice (and also for any multiple copies), this is just

unread,

Zoom seminar Thu Oct 30 at 13:15 CET: Proof complexity as a computational lens

Dear colleagues, With apologies for the short notice (and also for any multiple copies), this is just

10/28/25

10/6/25

Call for Papers: AAAI’26 Bridge Program “Making Embodied AI Reliable with Testing and Formal Verification”

Announcing a AAAI Bridge: Making Embodied AI Reliable with Testing and Formal Verification

unread,

Call for Papers: AAAI’26 Bridge Program “Making Embodied AI Reliable with Testing and Formal Verification”

Announcing a AAAI Bridge: Making Embodied AI Reliable with Testing and Formal Verification

10/6/25

10/6/25

Postdoc position @ KU Leuven

Dear colleagues, There's a new postdoc vacancy in my team. Looking for people with strong

unread,

Postdoc position @ KU Leuven

Dear colleagues, There's a new postdoc vacancy in my team. Looking for people with strong

10/6/25

Alessandro Gianola

9/22/25

Call for Workshops - FLoC 2026 [DEADLINE 24 SEPTEMBER AoE] — The 2026 Federated Logic Conference

[apologies for cross posting] [DEADLINE 24 SEPTEMBER AoE] FLoC 2026 — The 2026 Federated Logic

unread,

Call for Workshops - FLoC 2026 [DEADLINE 24 SEPTEMBER AoE] — The 2026 Federated Logic Conference

[apologies for cross posting] [DEADLINE 24 SEPTEMBER AoE] FLoC 2026 — The 2026 Federated Logic

9/22/25

Jakob Nordström

9/11/25

Zoom links for proof logging workshop WHOOPS '25 this weekend September 13-14

Dear colleagues, Due to strong interest, registration to the EuroProofNet Symposium was closed a

unread,

Zoom links for proof logging workshop WHOOPS '25 this weekend September 13-14

Dear colleagues, Due to strong interest, registration to the EuroProofNet Symposium was closed a

9/11/25

Jakob Nordström

8/18/25

Call for participation in proof logging workshop WHOOPS ‘25 in Paris September 13-14

Dear colleagues, For those of us who heard all the buzz about certifying algorithms and proof logging

unread,

Call for participation in proof logging workshop WHOOPS ‘25 in Paris September 13-14

Dear colleagues, For those of us who heard all the buzz about certifying algorithms and proof logging

8/18/25

8/18/25

VMCAI 2026: call for papers

(apologies for multiple copies) VMCAI provides a forum for researchers from the communities of

unread,

VMCAI 2026: call for papers

(apologies for multiple copies) VMCAI provides a forum for researchers from the communities of

8/18/25

Search

Clear search

Close search

Google apps

Main menu