Recent news about SAT subscribe via RSS

• Mar 11, 2026  CFP - 13th International Workshop on Quantified Boolean Formulas and Beyond by Franz-Xaver Reichl CFP  Deadline  QBF 

  The goal of the International Workshop on Quantified Boolean Formulas and Beyond is to bring together researchers working on theoretical and practical aspects of QBF solving and related formalisms involving quantifiers. The workshop addresses theoreticians and practitioners in order to reflect on the state-of-the-art in research and to consolidate on immediate and long-term challenges.

• Feb 10, 2026  ModRef 2026 Call for Papers by Jordi Coll and Felix Ulrich-Oltean CFP  Deadline 

  We invite you to submit your work to ModRef 2026, the 25th workshop on Constraint Modelling and Reformulation, which will be held on 19th July 2026 in Lisbon, Portugal, as part of FLOC26.

• Feb 10, 2026  Call for papers: 2nd Workshop on Machine Learning for Solvers and Provers (at FLoC 2026) by Nguyen Dang CFP  SAT  CP  SMT  Deadline 

  The 2nd Workshop on Machine Learning for Solvers and Provers (ML4SP) aims to bring together researchers and practitioners working at the intersection of machine learning and formal reasoning systems. The workshop is co-located with FLoC 2026 on July 18, 2026, in Lisbon, Portugal.

• Feb 4, 2026  SC-Square 2026: 10th International Workshop on Satisfiability Checking and Symbolic Computation by Katherine Kosaian CFP  SAT  Deadline 

  The 11th SC-Square Workshop is a satellite event of ISSAC, held at the University of Oldenburg in Germany, from July 13 to 17, 2026.

• Feb 4, 2026  PhD positions at KU Leuven (combinatorial optimization -- Certifying algorithms / Proof logging / Explanations) (deadline March 16, 2026) by Bart Bogaerts PhD  Position  Deadline 

  Two fully-funded PhD positions at KU Leuven. Join the proof logging revolution and make combinatorial optimizers deliver 100% correctness guarantees.

• Jan 20, 2026  CP 2026 Call for Papers by Ines Lynce CFP  SAT  Deadline 

  CP is the premier international event for presenting research in all aspects of computing with constraints, including, but not restricted to: theory, algorithms, environments, languages, models, systems, and applications. CP 2026 is the 32nd conference in this series and will be held in Lisbon, at ISCTE – Instituto Universitário de Lisboa (July 18-19 and July 24-25: workshops, July 20-23: main conference). This year, CP is part of the the Federated Logic Conference (FLoC) 2026.

• Jan 12, 2026  PhD + Postdoc positions on SAT-based machine learning at the University of Helsinki by Andrew Cropper PhD  PostDoc  Position  Deadline 

  CoRDS Doctoral Network is offering a PhD funding related to SAT. The deadline for applications will be extended.

• Jan 9, 2026  SAT 2026 Second Call for Papers (Updated Deadlines) 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 6 March 2026 AoE (abstracts due 27 February 2026 AoE).

• Jan 6, 2026  PhD: Beyond resolution (University of Lleida) by Carlos Ansótegui PhD  Position 

  CoRDS Doctoral Network is offering a PhD funding related to SAT. The deadline for applications will be extended.

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

  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.