Groups

SMT-announce

Contact owners and managers

1–30 of 329

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

0 selected

Manuel Alejandro Borroto Santana

12:35 PM

[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

12:35 PM

Jochen Hoenicke

7:53 AM

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:53 AM

Jul 15

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

Jul 15

Jochen Hoenicke3

Jul 9

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

Jul 9

Tanja Schindler2

Jul 7

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

Jul 7

Manuel Alejandro Borroto Santana

Jun 26

[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] -------------------------------------------------------------------

Jun 26

Manuel Alejandro Borroto Santana

Jun 25

ASPOCP 2025 Cfp - EXTENDED SUBMISSION DEADLINE

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

unread,

ASPOCP 2025 Cfp - EXTENDED SUBMISSION DEADLINE

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

Jun 25

Jakob Nordström

Jun 21

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

Jun 21

Jakob Nordström

Jun 19

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

Jun 19

Pascal Fontaine

Jun 19

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,

Jun 19

Jakob Nordström

Jun 11

Call for Participation CP/SAT/SoCS 2025 (early-bird rate until 30th June)

Dear colleagues, Registration is now open for the 31st International Conference on Principles and

unread,

Call for Participation CP/SAT/SoCS 2025 (early-bird rate until 30th June)

Dear colleagues, Registration is now open for the 31st International Conference on Principles and

Jun 11

Manuel Alejandro Borroto Santana

Jun 11

[ICLP DC 2025 - Deadline Extended] 21st Doctoral Consortium (DC) on Logic Programming | University of Calabria, Rende, Italy | September 12-19, 2025

Dear all, We are pleased to announce that the submission deadline for the Doctoral Consortium has

unread,

[ICLP DC 2025 - Deadline Extended] 21st Doctoral Consortium (DC) on Logic Programming | University of Calabria, Rende, Italy | September 12-19, 2025

Dear all, We are pleased to announce that the submission deadline for the Doctoral Consortium has

Jun 11

Manuel Alejandro Borroto Santana

Jun 9

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

[apologize for multiple postings] *** ICLP 2025 --- Call for Student Grants *** *** Grants for

unread,

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

[apologize for multiple postings] *** ICLP 2025 --- Call for Student Grants *** *** Grants for

Jun 9

Manuel Alejandro Borroto Santana

May 31

[C.A.R.L.A. 2025 - Deadline Extended] 1st Workshop on Cognitive Architectures for Robotics: LLMs and Logic in Action, University of Calabria, Rende, Italy | September 12-13, 2025

Dear all, We are pleased to announce that the submission deadline has been extended to JUNE 15, 2025.

unread,

[C.A.R.L.A. 2025 - Deadline Extended] 1st Workshop on Cognitive Architectures for Robotics: LLMs and Logic in Action, University of Calabria, Rende, Italy | September 12-13, 2025

Dear all, We are pleased to announce that the submission deadline has been extended to JUNE 15, 2025.

May 31

May 28

MOSCA’25: Meeting on String Constraints and Applications (CAV’25 workshop)

(Apologies for multiple copies.) The next edition of MOSCA (Meeting on String Constraints and

unread,

MOSCA’25: Meeting on String Constraints and Applications (CAV’25 workshop)

(Apologies for multiple copies.) The next edition of MOSCA (Meeting on String Constraints and

May 28

May 27

[SMT-COMP'25] Final Call for Solvers

================================================= 20th International Satisfiability Modulo Theories

unread,

[SMT-COMP'25] Final Call for Solvers

================================================= 20th International Satisfiability Modulo Theories

May 27

Alessandro Gianola

May 26

3rd International Workshop on Formal Methods for Business Process Management, FM-BPM 2025 - call for papers

*** We apologize for possible cross-posting *** ******* CALL FOR PAPERS ******* 3rd International

unread,

3rd International Workshop on Formal Methods for Business Process Management, FM-BPM 2025 - call for papers

*** We apologize for possible cross-posting *** ******* CALL FOR PAPERS ******* 3rd International

May 26

May 25

HYPER 2025 call for presentations

CALL FOR PRESENTATIONS ====================== HYPER 2025 4th Workshop on Hyperproperties: Advances in

unread,

HYPER 2025 call for presentations

CALL FOR PRESENTATIONS ====================== HYPER 2025 4th Workshop on Hyperproperties: Advances in

May 25

Mathias Preiner

May 22

SMT-LIB 2025 Release on Zenodo

Dear all, The 2025 SMT-LIB release is now available on Zenodo. You can access the new release here: -

unread,

SMT-LIB 2025 Release on Zenodo

Dear all, The 2025 SMT-LIB release is now available on Zenodo. You can access the new release here: -

May 22

Jakob Nordström

May 22

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

Dear colleagues, I would be grateful for your help to advertise that the 2nd International Workshop

unread,

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

Dear colleagues, I would be grateful for your help to advertise that the 2nd International Workshop

May 22

Manuel Alejandro Borroto Santana

May 22

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

[apologize for multiple postings] ICLP 2025, the 41st International Conference on Logic Programming,

unread,

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

[apologize for multiple postings] ICLP 2025, the 41st International Conference on Logic Programming,

May 22

Hélène Verhaeghe

May 21

ACP Summer School 2025 - call for participation

Dear constraint-solving community, We are pleased to announce that the ACP Summer School 2025

unread,

ACP Summer School 2025 - call for participation

Dear constraint-solving community, We are pleased to announce that the ACP Summer School 2025

May 21

Manuel Alejandro Borroto Santana

May 20

[AI3 2025 - Second Call for Papers] *DATES UPDATE* 9th Workshop on Advances in Argumentation in Artificial Intelligence

We are eager to receive your papers... and we want you to get notified in time for the early

unread,

[AI3 2025 - Second Call for Papers] *DATES UPDATE* 9th Workshop on Advances in Argumentation in Artificial Intelligence

We are eager to receive your papers... and we want you to get notified in time for the early

May 20

Emanuele De Angelis

May 15

HCVS 2025, **Deadline Extension**: 12th Workshop on Horn Clauses for Verification and Synthesis, 22 July 2025, Zagreb (Croatia)

12th Workshop on Horn Clauses for Verification and Synthesis (HCVS) **Deadline Extension** 22 July

unread,

HCVS 2025, **Deadline Extension**: 12th Workshop on Horn Clauses for Verification and Synthesis, 22 July 2025, Zagreb (Croatia)

12th Workshop on Horn Clauses for Verification and Synthesis (HCVS) **Deadline Extension** 22 July

May 15

Jochen Hoenicke

May 13

SMT 2025 Call for Papers: Deadline extension!

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

unread,

SMT 2025 Call for Papers: Deadline extension!

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

May 13

Hélène Verhaeghe

May 12

KR2025 - Call for Papers: KR and Constraints

Call for Papers: KR and Constraints https://kr.org/KR2025/call_kr_and_constraints.html As a

unread,

KR2025 - Call for Papers: KR and Constraints

Call for Papers: KR and Constraints https://kr.org/KR2025/call_kr_and_constraints.html As a

May 12

Manuel Alejandro Borroto Santana

May 7

[AI3 2025 - First Call for Papers] 9th Workshop on Advances in Argumentation in Artificial Intelligence

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

unread,

[AI3 2025 - First Call for Papers] 9th Workshop on Advances in Argumentation in Artificial Intelligence

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

May 7

Jochen Hoenicke

May 7

Second call for papers, SMT 2025

Here is a gentle reminder to submit papers for the SMT Workshop 2025. The deadline next Wednesday is

unread,

Second call for papers, SMT 2025

Here is a gentle reminder to submit papers for the SMT Workshop 2025. The deadline next Wednesday is

May 7

Mikoláš Janota

May 5

Final CfP for SC-Square 2025 and Christian Zipfel Award

10th International Workshop on Satisfiability Checking and Symbolic Computation SC-Square 2025 August

unread,

Final CfP for SC-Square 2025 and Christian Zipfel Award

10th International Workshop on Satisfiability Checking and Symbolic Computation SC-Square 2025 August

May 5

Mikoláš Janota

May 5

Last CfP and Deadline extension: 15th International Workshop on Pragmatics of SAT (PoS 2025)

-----------------------------------------------------------------------------------------------------

unread,

Last CfP and Deadline extension: 15th International Workshop on Pragmatics of SAT (PoS 2025)

-----------------------------------------------------------------------------------------------------

May 5

Search

Clear search

Close search

Google apps

Main menu