Recent news about SAT subscribe via RSS

• Jun 7, 2026  Postdoc positions in DQBF solving by Tony Tan PostDoc  Position  QBF  SAT  Deadline 

  UKRI EPSRC Funded PostDoc position available at University of Liverpool. Join the DQBF solving team.

• Jun 6, 2026  3-4 year PhD position in Trento by Roberto Sebastiani PhD  Position 

  PhD position on automated reasoning at Trento

• Jun 5, 2026  PhD position on SAT-based machine learning at the University of Helsinki + ELLIS Institute Finland by Andrew Cropper PhD  Position  Deadline 

  PhD position on SAT-based machine learning at the University of Helsinki + ELLIS Institue Finland.

• Apr 24, 2026  Call for Participation: QBFGallery 2026 by Martina Seidl CFP  Deadline 

  The goal of the QBFGallery is to empirically assess the state of the art in QBF and DQBF solving as well as collect and select expressive benchmarks. (D)QBF researchers and users are invited to contribute their solvers, tools, and benchmarks to be used for evaluation or participate in the organization of the evaluation.

• Apr 24, 2026  Second 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.

• Apr 21, 2026  CFP - LLMs meet Constraint Solving, 2nd Edition (LLM-Solve 2026) by Stefan Szeider CFW  Deadline 

  LLM-Solve 2026 is a workshop for researchers at the intersection of Large Language Models and Constraint Solving (CP, SAT, SMT, MIP, and related paradigms). It will be part of the Federated Logic Conference 2026.

• Apr 8, 2026  CFP - Soft Constraints, Discrete Optimization, and Machine Learning (SOFT'26) by Jakob Nordström CFW  Deadline 

  SOFT 2026 will be part of the Federated Logic Conference 2026.

• Apr 8, 2026  CFP - Pseudo-Boolean Competition 2026 by Jakob Nordström PBO  Deadline 

  PB26 will be part of the Federated Logic Conference 2026.

• Apr 7, 2026  CFP - 3rd International Workshop on Highlights in Organizing and Optimizing Proof-logging Systems (WHOOPS'26) by Jakob Nordström CFW  Deadline 

  WHOOPS 2026 will be part of the Federated Logic Conference 2026.

• Apr 2, 2026  CFP - 17th International Workshop on Pragmatics of SAT (PoS 2026). by Bart Bogaerts POS  CFW  Deadline 

  PoS 2026 will be part of the Federated Logic Conference 2026.

• 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 

  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).