Groups

SMT-announce

Contact owners and managers

1–30 of 349

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

0 selected

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

Manuel Alejandro Borroto Santana2

7/28/25

[ICLP 2025 - Call for Participation] 41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025

[apologize for multiple postings] Call for Participation 41st International Conference on Logic

unread,

[ICLP 2025 - Call for Participation] 41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025

[apologize for multiple postings] Call for Participation 41st International Conference on Logic

7/28/25

Manuel Alejandro Borroto Santana

7/28/25

[Call for Alain Colmerauer Award] - Nominations for the 2025 edition of the Alain Colmerauer Prize

[apologize for multiple postings] Organized by the Association for Logic Programming In the summer of

unread,

[Call for Alain Colmerauer Award] - Nominations for the 2025 edition of the Alain Colmerauer Prize

[apologize for multiple postings] Organized by the Association for Logic Programming In the summer of

7/28/25

Jochen Hoenicke

7/18/25

SMT 2025 Workshop Program

Dear SMT-community, we have published the program for the SMT Workshop 2025 on our website https://

unread,

SMT 2025 Workshop Program

Dear SMT-community, we have published the program for the SMT Workshop 2025 on our website https://

7/18/25

7/15/25

VMCAI 2026: first call for papers

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

unread,

VMCAI 2026: first call for papers

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

7/15/25

Jochen Hoenicke3

7/9/25

SMT 2025: Morgan Deters Travel Award

Dear SMT-Community, We are closing the application for the Morgan Deters Travel Award on Friday. If

unread,

SMT 2025: Morgan Deters Travel Award

Dear SMT-Community, We are closing the application for the Morgan Deters Travel Award on Friday. If

7/9/25

Tanja Schindler2

7/7/25

FMCAD 2025 Student Forum CFP

Dear all, we have decided to extend the submission deadline for the FMCAD 2025 student forum. The new

unread,

FMCAD 2025 Student Forum CFP

Dear all, we have decided to extend the submission deadline for the FMCAD 2025 student forum. The new

7/7/25

Manuel Alejandro Borroto Santana

6/26/25

[AI3 2025 - Final Call for Papers] *DEADLINES EXTENSION* 9th Workshop on Advances in Argumentation in Artificial Intelligence

[apologize for multiple postings] -------------------------------------------------------------------

unread,

[AI3 2025 - Final Call for Papers] *DEADLINES EXTENSION* 9th Workshop on Advances in Argumentation in Artificial Intelligence

[apologize for multiple postings] -------------------------------------------------------------------

6/26/25

Manuel Alejandro Borroto Santana

6/25/25

ASPOCP 2025 Cfp - EXTENDED SUBMISSION DEADLINE

*** Apologies for multiple copies *** ===============================================================

unread,

ASPOCP 2025 Cfp - EXTENDED SUBMISSION DEADLINE

*** Apologies for multiple copies *** ===============================================================

6/25/25

Jakob Nordström

6/21/25

Call for contributions: 2nd International Workshop on Highlights in Organizing and Optimizing Proof-logging Systems (WHOOPS '25)

Dear colleagues, This message is a call for contributions to the 2nd International Workshop on

unread,

Call for contributions: 2nd International Workshop on Highlights in Organizing and Optimizing Proof-logging Systems (WHOOPS '25)

Dear colleagues, This message is a call for contributions to the 2nd International Workshop on

6/21/25

Jakob Nordström

6/19/25

Student travel support for CP and SAT 2025

Dear students, You can now apply for financial support for participating in the CP and SAT

unread,

Student travel support for CP and SAT 2025

Dear students, You can now apply for financial support for participating in the CP and SAT

6/19/25

Pascal Fontaine

6/19/25

Summer School on Verification Technology, Systems and Applications (VTSA 2025)

Summer School on Verification Technology, Systems and Applications (VTSA 2025) September 1st-5th,

unread,

Summer School on Verification Technology, Systems and Applications (VTSA 2025)

Summer School on Verification Technology, Systems and Applications (VTSA 2025) September 1st-5th,

6/19/25

Search

Clear search

Close search

Google apps

Main menu