SMT-announce

1–30 of 89

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

0 selected

Alexander Nadel

Jun 30

SMT 2021 Workshop: Call for Participation

SMT 2021 Call for Participation 19th International Workshop on Satisfiability Modulo Theories (SMT

unread,

SMT 2021 Workshop: Call for Participation

SMT 2021 Call for Participation 19th International Workshop on Satisfiability Modulo Theories (SMT

Jun 30

Martin Bromberger

Jun 10

CADE 2021 call for participation

CADE 2021: 28th International Conference on Automated Deduction July 11-16, 2021, virtual from

unread,

CADE 2021 call for participation

CADE 2021: 28th International Conference on Automated Deduction July 11-16, 2021, virtual from

Jun 10

Mathias Preiner

May 28

SMT-LIB benchmark release 2021

Hi all, The 2021 release of the SMT-LIB library (2021-05-26) is now available on the SMT-LIB GitLab

unread,

SMT-LIB benchmark release 2021

Hi all, The 2021 release of the SMT-LIB library (2021-05-26) is now available on the SMT-LIB GitLab

May 28

May 5

Postdoc in Computing Science with a Specialisation in IT for a Sustainable and Secure Society

Dear all, The Department of Information Technology at Uppsala University (Sweden) is currently

unread,

Postdoc in Computing Science with a Specialisation in IT for a Sustainable and Secure Society

Dear all, The Department of Information Technology at Uppsala University (Sweden) is currently

May 5

Alexander Nadel

Apr 30

SMT 2021 Workshop: Deadline Extension to May 7

SMT 2021: 19th International Workshop on Satisfiability Modulo Theories ONLINE July 18-19, 2021

unread,

SMT 2021 Workshop: Deadline Extension to May 7

SMT 2021: 19th International Workshop on Satisfiability Modulo Theories ONLINE July 18-19, 2021

Apr 30

Alexander Nadel

Apr 14

SMT 2021 Workshop: Final Call for Papers

SMT 2021: 19th International Workshop on Satisfiability Modulo Theories Los Angeles, CA, United

unread,

SMT 2021 Workshop: Final Call for Papers

SMT 2021: 19th International Workshop on Satisfiability Modulo Theories Los Angeles, CA, United

Apr 14

Apr 2

The cvc4 team has been hard at work on many major improvements to the system. For that and other

unread,

The cvc4 team has been hard at work on many major improvements to the system. For that and other

Apr 2

Mar 9

7th International Workshop on Proof eXchange for Theorem Proving (PxTP) - First CFP

Call for Papers, PxTP 2021 The Seventh International Workshop on Proof eXchange for Theorem Proving (

unread,

7th International Workshop on Proof eXchange for Theorem Proving (PxTP) - First CFP

Call for Papers, PxTP 2021 The Seventh International Workshop on Proof eXchange for Theorem Proving (

Mar 9

Alexander Nadel

Feb 28

SMT 2021 Workshop: Second Call for Papers

SMT 2021: 19th International Workshop on Satisfiability Modulo Theories Los Angeles, CA, United

unread,

SMT 2021 Workshop: Second Call for Papers

SMT 2021: 19th International Workshop on Satisfiability Modulo Theories Los Angeles, CA, United

Feb 28

Pascal Fontaine

Feb 24

Bill McCune PhD Award in Automated Reasoning, Call for Nominations

Automated Reasoning is the area of computer science dedicated to applying reasoning in the form of

unread,

Bill McCune PhD Award in Automated Reasoning, Call for Nominations

Automated Reasoning is the area of computer science dedicated to applying reasoning in the form of

Feb 24

Martin Bromberger

Feb 9

CADE-28: Final Call for Papers

/!\ This is CADE-28's final call for papers. The abstract deadline is next week. /!\ The

unread,

CADE-28: Final Call for Papers

/!\ This is CADE-28's final call for papers. The abstract deadline is next week. /!\ The

Feb 9

Martin Bromberger

Jan 21

CADE-28: Call for Papers

The 28th International Conference on Automated Deduction (CADE-28) Carnegie Mellon University,

unread,

CADE-28: Call for Papers

The 28th International Conference on Automated Deduction (CADE-28) Carnegie Mellon University,

Jan 21

Alexander Nadel

Jan 12

SMT 2021 Workshop Call for Papers

Overview SMT 2021 will be co-located with CAV 2021 in Los Angeles. The aim of the workshop is to

unread,

SMT 2021 Workshop Call for Papers

Overview SMT 2021 will be co-located with CAV 2021 in Los Angeles. The aim of the workshop is to

Jan 12

Fabio Fioravanti

Jan 11

CfP HCVS 2021 @ ETAPS

(apologies for multiple copies) Call for Papers *8th Workshop on Horn Clauses for Verification and

unread,

CfP HCVS 2021 @ ETAPS

(apologies for multiple copies) Call for Papers *8th Workshop on Horn Clauses for Verification and

Jan 11

Martin Bromberger

11/23/20

CADE-28: Call for Tutorials

CADE-28: Call for Tutorials The 28th International Conference on Automated Deduction (CADE-28)

unread,

CADE-28: Call for Tutorials

CADE-28: Call for Tutorials The 28th International Conference on Automated Deduction (CADE-28)

11/23/20

Martin Bromberger

10/22/20

Reminder: CADE-28 Call for Papers, Workshops, Tutorials and Competitions

CADE-28: Call for Papers, Workshops, Tutorials and Competitions The 28th International Conference on

unread,

Reminder: CADE-28 Call for Papers, Workshops, Tutorials and Competitions

CADE-28: Call for Papers, Workshops, Tutorials and Competitions The 28th International Conference on

10/22/20

Matthew England

10/5/20

Post-doctoral Vacancy in SMT/Computer Algebra at Bath

The University of Bath (investigators Bradford and Davenport) invites applications from qualified

unread,

Post-doctoral Vacancy in SMT/Computer Algebra at Bath

The University of Bath (investigators Bradford and Davenport) invites applications from qualified

10/5/20

8/21/20

CADE-28 Call for Papers, Workshops, Tutorials, and Competitions

CADE-28: Call for Papers, Workshops, Tutorials and Competitions The 28th International Conference on

unread,

CADE-28 Call for Papers, Workshops, Tutorials, and Competitions

CADE-28: Call for Papers, Workshops, Tutorials and Competitions The 28th International Conference on

8/21/20

Matthew England

7/28/20

3 Year Postdoc Position in SMT (non-linear real arithmetic)

Please consider forwarding this advert for a 3-year postdoctoral position in SMT and Symbolic

unread,

3 Year Postdoc Position in SMT (non-linear real arithmetic)

Please consider forwarding this advert for a 3-year postdoctoral position in SMT and Symbolic

7/28/20

Peter Schrammel

7/9/20

Numerical Software Verification - NSV 2020 - Call for Participation

13th International Workshop on Numerical Software Verification 2020, collocated with CAV The workshop

unread,

Numerical Software Verification - NSV 2020 - Call for Participation

13th International Workshop on Numerical Software Verification 2020, collocated with CAV The workshop

7/9/20

7/1/20

Invitation LogicLounge with Cory Doctorow - Surveillance Capitalism is not a Rogue Capitalism - virtual open livestream - 21 July 2020 - 8am PST - hosted by CAV 2020

Dear colleagues, dear friends of logic, We would like to cordially invite you to the 18th public

unread,

Invitation LogicLounge with Cory Doctorow - Surveillance Capitalism is not a Rogue Capitalism - virtual open livestream - 21 July 2020 - 8am PST - hosted by CAV 2020

Dear colleagues, dear friends of logic, We would like to cordially invite you to the 18th public

7/1/20

Andrew Reynolds

6/30/20

Call for SyGuS Benchmarks and Language Extensions

Call for SyGuS Benchmarks and Language Extensions Background: The classical formulation of the

unread,

Call for SyGuS Benchmarks and Language Extensions

Call for SyGuS Benchmarks and Language Extensions Background: The classical formulation of the

6/30/20

5/18/20

Fwd: SMT-LIB benchmark release

Hi all, The latest (2020-04-25) SMT-LIB release is now available on StarExec: https://www.starexec.

unread,

Fwd: SMT-LIB benchmark release

Hi all, The latest (2020-04-25) SMT-LIB release is now available on StarExec: https://www.starexec.

5/18/20

5/11/20

SMT 2020: Final Call for Papers

[Abstract registration deadline removed.] SMT 2020: The 18th International Workshop on Satisfiability

unread,

SMT 2020: Final Call for Papers

[Abstract registration deadline removed.] SMT 2020: The 18th International Workshop on Satisfiability

5/11/20

5/2/20

SMT 2020: Revised Call for Papers

SMT 2020: The 18th International Workshop on Satisfiability Modulo Theories Affiliated with IJCAR

unread,

SMT 2020: Revised Call for Papers

SMT 2020: The 18th International Workshop on Satisfiability Modulo Theories Affiliated with IJCAR

5/2/20

Matthew England

4/24/20

Postdoc Advert in SMT (non linear real arithmetic)

Please consider forwarding this advert for a 3-year postdoctoral position in SMT and Symbolic

unread,

Postdoc Advert in SMT (non linear real arithmetic)

Please consider forwarding this advert for a 3-year postdoctoral position in SMT and Symbolic

4/24/20

Hélène Verhaeghe

4/22/20

CP2020 - Call for Tutorials

Association for Constraint Programming Call for Tutorials The CP conference is the premier annual

unread,

CP2020 - Call for Tutorials

Association for Constraint Programming Call for Tutorials The CP conference is the premier annual

4/22/20

Matthew England

4/22/20

SC-Square Workshop 2020: now online with delayed submission date

=================================================== The 5th International Workshop on Satisfiability

unread,

SC-Square Workshop 2020: now online with delayed submission date

=================================================== The 5th International Workshop on Satisfiability

4/22/20

Peter Schrammel

4/17/20

Deadline Extension - Numerical Software Verification NSV 2020: Call for Papers

CALL FOR PAPERS - NSV 2020 ========================== 13th International Workshop on Numerical

unread,

Deadline Extension - Numerical Software Verification NSV 2020: Call for Papers

CALL FOR PAPERS - NSV 2020 ========================== 13th International Workshop on Numerical

4/17/20

Hélène Verhaeghe

4/6/20

CP2020 - Second Call for Workshops (Updated deadlines!)

The CP conference (cp2020.a4cp.org) is the premier annual international conference on constraint

unread,

CP2020 - Second Call for Workshops (Updated deadlines!)

The CP conference (cp2020.a4cp.org) is the premier annual international conference on constraint

4/6/20

Search

Clear search

Close search

Google apps

Main menu