Carview!

Dec 12, 2025 SAT 2026 Call for Papers by Alexey Ignatiev CFP SAT Deadline

SAT 2026 will take place on 20-23 July, 2026 in Lisbon, Portugal at ISCTE, as part of FLoC 2026. Submissions (long papers, short papers, tool papers) are expected by 27 February 2026 AoE (abstracts due 20 February AoE).

Dec 3, 2025 PhD: SAT-based Constrained Sampling for Crystal Structure Prediction (University of Liverpool) by Friedrich Slivovsky PhD Position Deadline

PhD studentship at the University of Liverpool on SAT-based constrained sampling for crystal structure prediction (CSP).

Nov 28, 2025 Course advertisement Proof Complexity as a Computational Lens by Jakob Nordström Complexity

Lectures about the "Proof Complexity as a Computational Lens" course in Copenhagen and Lund are streamed on Zoom and recordings are posted on YouTube.

Nov 28, 2025 Postdoc and PhD openings in combinatorial optimization and/or TCS in Lund by Jakob Nordström PhD Position Deadline

The Department of Computer Science at Lund University invites applications for postdoc and PhD positions in combinatorial optimization and/or theoretical computer science.

Oct 6, 2025 Postdoc positions in combinatorial search/optimization (certifying algorithms / proof logging / explanations) (deadline October 30, 2025) by Bart Bogaerts PostDoc Position Deadline

PostDoc position available at KU Leuven.

May 27, 2025 Reachability Problems 2025: 2nd call for papers by Pierre Ganty SMT CFP Deadline Extension

The 19th International Conference on Reachability Problems (RP’2025) is being organized by the IMDEA Software Institute in Madrid, Spain. The conference will take place from 1 to 3 October 2025.

May 23, 2025 The Fahiem Bacchus PhD Award in Satisfiability 2025: Call for Nominations by Olaf Beyersdorff SAT Deadline

In 2024 the SAT Association established the Fahiem Bacchus PhD Award in Satisfiability. The award distinguishes one outstanding PhD thesis from the past year in the field of Satisfiability, broadly construed. The award is named after Fahiem Bacchus who made significant contributions to the theory and practice of SAT as well as to the SAT community and the SAT Association. Deadline extended to June 10, 2025.

May 22, 2025 2nd International Workshop on Highlights in Organizing and Optimizing Proof-logging Systems (WHOOPS '25) by Jakob Nordström CFP Deadline

The 2nd International Workshop on Highlights in Organizing and Optimizing Proof-logging Systems (WHOOPS '25) will be held on September 13-14, 2025, at Institut Pascal in Orsay on the outskirts of Paris in coordination with the EuroProofNet Workshop on Automated Reasoning and Proof Logging, which is in turn part of the Final EuroProofNet Symposium.

May 15, 2025 CP and SAT 2025 Workshop and Doctoral Programme by Zeynep Kiziltan SAT

List of workshops associated with the SAT 2025 conference. The workshops will be held on the 10th and 11th of August in Glasgow, before the conference.

May 13, 2025 SMT 2025 Call for Papers: Deadline extension by Sophie Tourret SMT CFP Deadline Extension

Invitation to submit papers to the SMT workshops to be held together with the 2025 SAT conference.

May 7, 2025 CFP - 10th International Workshop on Satisfiability Checking and Symbolic Computation by Mikoláš Janota CFP Deadline

The 10th SC-Square Workshop is a satellite event of CADE, held at the Duale Hochschule Baden-Württemberg (DHBW) Stuttgart, Baden-Württemberg Cooperative State University Stuttgart, Fakultät Technik in Stuttgart, Germany, from July 28 to 31, 2025. Submission deadline extended.

May 5, 2025 CFP - 16th International Workshop on Pragmatics of SAT (PoS 2025). Deadlines extended! by Aina Niemetz POS CFW Deadline

PoS 2025 will be co-located with the 28th International Conference on Theory and Applications of Satisfiability Testing (SAT 2025) and the 31st International Conference on Principles and Practice of Constraint Programming (CP 2025).

Apr 29, 2025 CFP - 6th International Workshop on Counting, Sampling, and Synthesis by Paulius Dilkas CFP Deadline

The 6th International Workshop on Counting, Sampling, and Synthesis (MCW 2025) will be held in Glasgow, UK, featuring talks on all aspects of model counting, sampling, and automated synthesis.

Apr 21, 2025 SAT/SMT/AR 2025 Summer School Announcement by Joan Espasa Arxer CFP Deadline

A new edition of the International Summer School on Satisfiability, Satisfiability Modulo Theories, and Automated Reasoning will take place on August 6–8, 2025 at University of St Andrews, Scotland

Apr 16, 2025 Call for Papers: 2nd Workshop on Composite AI (CompAI-25) by Tomáš Balyo CFP Deadline

The 2nd Workshop on Composite AI (CompAI-25), co-located with IJCAI 2025 Montreal, Canada, August 16–22, 2025 is waiting for your contributions by May 9

Apr 9, 2025 Four Tenure-Track Positions for Female Candidates at JKU Linz by Martina Seidl Position

Four AI TT-Professorships at JKU Linz

Apr 8, 2025 SMT 2025 Call for Papers by Sophie Tourret SMT CFP Deadline

Invitation to submit papers to the SMT workshops to be held together with the 2025 SAT conference.

Apr 7, 2025 VCLA International Student Awards - Second Call for Nominations by Andrea Hackl CFP Deadline

The Vienna Center for Logic and Algorithms of TU Wien calls for the nomination of authors of outstanding theses and scientific works in the field of Logic and Computer Science, in the two categories outstanding master thesis and outstanding undergraduate thesis awards. The degree must have been awarded between January 1st, 2024 and December 31st, 2024 (inclusive).

Apr 7, 2025 CFP - 10th International Workshop on Satisfiability Checking and Symbolic Computation by Mikoláš Janota CFP Deadline

The 10th SC-Square Workshop is a satellite event of CADE, held at the Duale Hochschule Baden-Württemberg (DHBW) Stuttgart, Baden-Württemberg Cooperative State University Stuttgart, Fakultät Technik in Stuttgart, Germany, from July 28 to 31, 2025.

Mar 11, 2025 SAT 2025 Call for Workshops by Marc Vinyals SAT CFW Deadline

Invitation to submit proposals for workshops to be held at the 2025 SAT conference.

SAT Live!

Recent news about SAT subscribe via RSS