SMT-announce

Contact owners and managers

1–30 of 247

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

0 selected

Jul 13

FMCAD 2024 Student Forum Deadline Extension (Now July 18)

*** Please accept our apologies if you receive multiple copies *** The submission deadline for FMCAD

unread,

FMCAD 2024 Student Forum Deadline Extension (Now July 18)

*** Please accept our apologies if you receive multiple copies *** The submission deadline for FMCAD

Jul 13

francesco...@unical.it

Jul 3

Journal of Biomedical Informatics - Call for Papers: Special issue on learning from multiple data sources for decision making in health care

[APOLOGIZE FOR MULTIPLE POSTINGS] = It's a pleasure to announce the OPEN special issue of the

unread,

Journal of Biomedical Informatics - Call for Papers: Special issue on learning from multiple data sources for decision making in health care

[APOLOGIZE FOR MULTIPLE POSTINGS] = It's a pleasure to announce the OPEN special issue of the

Jul 3

Francesco Calimeri

Jul 3

Journal of Biomedical Informatics - Call for Papers: Special issue on learning from multiple data sources for decision making in health care

[APOLOGIZE FOR MULTIPLE POSTINGS] = It's a pleasure to announce the OPEN special issue of the

unread,

Journal of Biomedical Informatics - Call for Papers: Special issue on learning from multiple data sources for decision making in health care

[APOLOGIZE FOR MULTIPLE POSTINGS] = It's a pleasure to announce the OPEN special issue of the

Jul 3

francesco...@unical.it

Jul 3

HC@AIxIA: AI&Health Seminar Series (2024) - JULY 11

[*apologize for multiple postings*] Dear Madam/Sir, This is to officially announce the SEVENTH

unread,

HC@AIxIA: AI&Health Seminar Series (2024) - JULY 11

[*apologize for multiple postings*] Dear Madam/Sir, This is to officially announce the SEVENTH

Jul 3

Francesco Calimeri

Jul 3

HC@AIxIA: AI&Health Seminar Series (2024) - JULY 11

[*apologize for multiple postings*] Dear Madam/Sir, This is to officially announce the SEVENTH

unread,

HC@AIxIA: AI&Health Seminar Series (2024) - JULY 11

[*apologize for multiple postings*] Dear Madam/Sir, This is to officially announce the SEVENTH

Jul 3

giuseppe...@unical.it

Jul 3

[LPNMR 2024] Deadline in Two Days (July, 4 AOE)

*** Please accept our apologies if you receive multiple copies of this CFP *** ======================

unread,

[LPNMR 2024] Deadline in Two Days (July, 4 AOE)

*** Please accept our apologies if you receive multiple copies of this CFP *** ======================

Jul 3

giuseppe...@unical.it4

Jun 22

[Approaching Deadline - LPNMR 2024] Call For Papers

(Apologies for cross-posting. Please distribute to interested parties.) -----------------------------

unread,

[Approaching Deadline - LPNMR 2024] Call For Papers

(Apologies for cross-posting. Please distribute to interested parties.) -----------------------------

Jun 22

Jun 21

ECAI 2024 Workshop on Composite AI -- Call for Papers

Dear all, please note that the workshops deadline has been extended by a week! Kind regards, Martin

unread,

ECAI 2024 Workshop on Composite AI -- Call for Papers

Dear all, please note that the workshops deadline has been extended by a week! Kind regards, Martin

Jun 21

Jun 17

CAV 2024 - Call for Participation - Early Registration Ends on June 23

CAV 2024: 36th International Conference on Computer-Aided Verification July 22-27 2024, Montreal,

unread,

CAV 2024 - Call for Participation - Early Registration Ends on June 23

CAV 2024: 36th International Conference on Computer-Aided Verification July 22-27 2024, Montreal,

Jun 17

Jun 17

[CP 2024] - Call for DEI Scholarship

Dear all, find below the call for DEI Scholarship for CP 2024. Call for DEI Scholarship We are

unread,

[CP 2024] - Call for DEI Scholarship

Dear all, find below the call for DEI Scholarship for CP 2024. Call for DEI Scholarship We are

Jun 17

Jun 12

SBMF 2024: Call for papers

[Apologies for multiple copies] #CALL FOR PAPERS SBMF 2024: 27th Brazilian Symposium on Formal

unread,

SBMF 2024: Call for papers

[Apologies for multiple copies] #CALL FOR PAPERS SBMF 2024: 27th Brazilian Symposium on Formal

Jun 12

Jun 12

[CP 2024] - Workshop submissions

Dear all, The workshops described below, that will be held during CP 2024, are currently accepting

unread,

[CP 2024] - Workshop submissions

Dear all, The workshops described below, that will be held during CP 2024, are currently accepting

Jun 12

francesco...@unical.it

Jun 11

HC@AIxIA: AI&Health Seminar Series (2024) - JUNE 17

Dear Madam/Sir, This is to officially announce the FIFTH seminar of the "AI & Health"

unread,

HC@AIxIA: AI&Health Seminar Series (2024) - JUNE 17

Dear Madam/Sir, This is to officially announce the FIFTH seminar of the "AI & Health"

Jun 11

Alessandro Gianola

Jun 7

FM-BPM 2024 - call for papers (extended deadline)

----------------------------------------------------------------------------------- FM-BPM 2024 –

unread,

FM-BPM 2024 - call for papers (extended deadline)

----------------------------------------------------------------------------------- FM-BPM 2024 –

Jun 7

May 31

FMCAD 2024 Student Forum CFP (Deadline July 12)

*** Please accept our apologies if you receive multiple copies of this CFP *** ======================

unread,

FMCAD 2024 Student Forum CFP (Deadline July 12)

*** Please accept our apologies if you receive multiple copies of this CFP *** ======================

May 31

giuseppe...@unical.it

May 30

[LPNMR 2024] Call For Papers

*** Please accept our apologies if you receive multiple copies of this CFP *** ======================

unread,

[LPNMR 2024] Call For Papers

*** Please accept our apologies if you receive multiple copies of this CFP *** ======================

May 30

May 29

[CP 2024] - Registration is open

Dear all, Registration for the Thirtieth International Conference on Principles and Practice of

unread,

[CP 2024] - Registration is open

Dear all, Registration for the Thirtieth International Conference on Principles and Practice of

May 29

Alessandro Gianola

May 26

2nd International Workshop on Formal Methods for Business Process Management, FM-BPM 2024 - call for papers

*** We apologize for possible cross-posting *** ******* CALL FOR PAPERS ******* 2nd International

unread,

2nd International Workshop on Formal Methods for Business Process Management, FM-BPM 2024 - call for papers

*** We apologize for possible cross-posting *** ******* CALL FOR PAPERS ******* 2nd International

May 26

Martin Bromberger

May 23

SMT-Comp 2024 - AWS credits

If you plan to participate in SMT-Comp 2024 parallel or cloud tracks, this email is for you. Again

unread,

SMT-Comp 2024 - AWS credits

If you plan to participate in SMT-Comp 2024 parallel or cloud tracks, this email is for you. Again

May 23

May 14

CAV 2024 - Call for Participation

CAV 2024: 36th International Conference on Computer-Aided Verification July 22-27 2024, Montreal,

unread,

CAV 2024 - Call for Participation

CAV 2024: 36th International Conference on Computer-Aided Verification July 22-27 2024, Montreal,

May 14

May 14

HYPER 2024 - second call for presentations

========================================================= HYPER 2024 3rd Workshop on Hyperproperties:

unread,

HYPER 2024 - second call for presentations

========================================================= HYPER 2024 3rd Workshop on Hyperproperties:

May 14

Mathias Preiner2

May 13

SMT-LIB 2024 Release on Zenodo

Dear all, We uploaded a new release for the incremental benchmarks to Zenodo. The previous upload had

unread,

SMT-LIB 2024 Release on Zenodo

Dear all, We uploaded a new release for the incremental benchmarks to Zenodo. The previous upload had

May 13

Martin Bromberger

May 13

SMT-COMP 2024: Final Call for Solvers

================================================ 18th International Satisfiability Modulo Theories

unread,

SMT-COMP 2024: Final Call for Solvers

================================================ 18th International Satisfiability Modulo Theories

May 13

Jakob Nordström

May 11

PhD positions in TCS and/or combinatorial optimization in Copenhagen

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

unread,

PhD positions in TCS and/or combinatorial optimization in Copenhagen

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

May 11

giuseppe...@unical.it

May 9

[Deadline Extension] EKAPI 2024 - Call For Papers

*** Please accept our apologies if you receive multiple copies of this CFP *** The paper submission

unread,

[Deadline Extension] EKAPI 2024 - Call For Papers

*** Please accept our apologies if you receive multiple copies of this CFP *** The paper submission

May 9

May 6

SAT/SMT/AR Summer School 2024: June 26-29, final call for application

SAT/SMT/AR 2024: International Summer School on Satisfiability, Satisfiability Modulo Theories, and

unread,

SAT/SMT/AR Summer School 2024: June 26-29, final call for application

SAT/SMT/AR 2024: International Summer School on Satisfiability, Satisfiability Modulo Theories, and

May 6

francesco...@unical.it

May 6

HC@AIxIA: AI&Health Seminar Series (2024) - MAY 9

Dear Madam/Sir, This is to officially announce the FOURTH seminar of the "AI & Health"

unread,

HC@AIxIA: AI&Health Seminar Series (2024) - MAY 9

Dear Madam/Sir, This is to officially announce the FOURTH seminar of the "AI & Health"

May 6

sorin stratulat

May 3

Call for Papers: the 5th International Workshop on Automated (Co)inductive Theorem Proving, a satellite workshop of IJCAR 2024

Please accept our apologies if you receive this call through multiple channels. We aim to ensure that

unread,

Call for Papers: the 5th International Workshop on Automated (Co)inductive Theorem Proving, a satellite workshop of IJCAR 2024

Please accept our apologies if you receive this call through multiple channels. We aim to ensure that

May 3

giuseppe...@unical.it

May 3

[Approaching Deadline] EKAPI 2024 - Call for Papers

*** Please accept our apologies if you receive multiple copies of this CFP *** ======================

unread,

[Approaching Deadline] EKAPI 2024 - Call for Papers

*** Please accept our apologies if you receive multiple copies of this CFP *** ======================

May 3

francesco...@unical.it

Apr 25

Journal of Biomedical Informatics - Call for Papers: Special issue on learning from multiple data sources for decision making in health care

[APOLOGIZE FOR MULTIPLE POSTINGS] = It's a pleasure to announce the OPEN special issue of the

unread,

Journal of Biomedical Informatics - Call for Papers: Special issue on learning from multiple data sources for decision making in health care

[APOLOGIZE FOR MULTIPLE POSTINGS] = It's a pleasure to announce the OPEN special issue of the

Apr 25

Search

Clear search

Close search

Google apps

Main menu