Recent news about SAT subscribe via RSS

• Aug 17, 2021  PhD positions in theoretical computer science and/or combinatorial optimization by Jakob Nordström PhD  Position  Deadline 

  The CS department at Lund University invites applications for PhD positions in theoretical computer science and/or combinatorial optimization.

• Aug 10, 2021  SAT'22 Call for Workshops by Alexander Nadel CFP  Deadline 

  We invite proposals for workshops affiliated with SAT. The purpose of the workshops is to provide an informal venue in which participants can explore specific research areas in-depth.

• Aug 2, 2021  Pre-Call for 20 PhD Positions in Computer Science at TU Wien, Vienna, Austria by Stefan Szeider PhD  Position 

  The novel interdisciplinary Marie Skłodowska-Curie COFUND doctoral training programme LogiCS@TUWien co-funded by the European Commission, will offer 20 full-time PhD positions.

• Jun 13, 2021  SAT 2021 Registration open by Felip Mania SAT 

  The annual international SAT conference registration is now open. The conference (July 7-9) will follow a hybrid format, with in-person and virtual participation options, while the affiliated workshops will be held virtually (July 5-6).

• May 29, 2021  Grant: Helmut Veith Stipend for Female Master’s Students in Computer Science by Alexandra Traxier CFP  Deadline 

  The VCLA invites applications for the Helmut Veith Stipend from motivated and outstanding female master's students who plan to pursue one of the programs in Computer Science at TU Wien taught in English in one of the following semesters: winter semester 2021/2022, summer semester 2022.

• May 15, 2021  CP'2021 - Call For Papers by Véronique Rousseau CFP  Deadline 

  All deadlines have been shifted by one week.

• May 11, 2021  CP'2021 - Call For Workshop Proposals by Véronique Rousseau CFP  Deadline 

  We invite proposals for workshops preceding the main conference program of CP 2021, which will be held online from October 25th to October 29th, 2021.

• May 10, 2021  CFP - 12th International Pragmatics of SAT Workshop by Daniel Le Berre CFP  Deadline 

  The submission deadlines and the author notification date have been shifted by a week.

• May 8, 2021  Call for Participation: the 2021 MAXSAT Evaluation by Daniel Le Berre CFP  Deadline 

  The 2021 MaxSAT Evaluation (MSE 2021) is the 15th edition of MaxSAT evaluations, the primary competition-style event focusing on the evaluation of MaxSAT solvers organized yearly since 2006.

• May 8, 2021  CP'2021 - Call For Tutorial Proposals by Véronique Rousseau CFP  Deadline 

  Due to the COVID-19 pandemic, the 27th Conference on Principles and Practice of Constraint Programming will be transformed into a fully virtual event.

• May 7, 2021  CFP - 8th International Workshop on Quantified Boolean Formulas and Beyond by Florian Lonsing 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.

• Apr 27, 2021  A Satisfying Result (CACM article by Don Monroe) by Daniel Le Berre SAT 

  A CACM article presents the resolution of the Keller Conjecture for dimension 7 using SAT technology.

• Apr 1, 2021  CP'2021 - Call For Papers by Véronique Rousseau CFP 

  Due to the COVID-19 pandemic, the 27th Conference on Principles and Practice of Constraint Programming will be transformed into a fully virtual event.

• Mar 29, 2021  CALL FOR NOMINATIONS: VCLA International Student Awards 2021 FOR Outstanding Master and Bachelor Theses conferred between 15.11.2019 and 31.12.2020 (inclusive) by Alexandra Traxier CFP  Deadline 

  The Vienna Center for Logic and Algorithms of TU Wien (Vienna University of Technology), calls for the nomination of authors of outstanding theses and scientific works in the field of Logic and Computer Science.

• Mar 29, 2021  Call for Participation: the 2021 SAT Competition by Marijn Heule CFP  Deadline 

  The deadline for submitting benchmarks and solvers has been extended to April 23, 2021.

• Mar 29, 2021  CFP - 12th International Pragmatics of SAT Workshop by Daniel Le Berre CFP 

  The International Pragmatics of SAT Workshop is organized again this year, as a joint event with SAT'21. Considering the success of the online event last year, the event will be at least broadcasted online this year.

• Feb 25, 2021  Call for Participation: the 2021 SAT Competition by Marijn Heule CFP 

  The 2021 SAT Competition is a competitive event for solvers of the Boolean Satisfiability (SAT) problem. It is organized as a satellite event to the 24th International Conference on Theory and Applications of Satisfiability Testing and stands in the tradition of the yearly SAT Competitions, Races, and Challenges.

• Jan 26, 2021  Handbook of Satisfiability (2nd Edition) by Armin Biere SAT  SMT  QBF  PBO 

  The second edition of the Handbook of Satisfiability is now available

• Jan 24, 2021  Opening up UC Berkeley programs *Satisfiability: Theory, Practice, and Beyond* and *Theoretical Foundations of Computer Systems* by Jakob Nordström Course 

  This message is to spread the news that everybody interested can now take part in the seminars during the semester programs Satisfiability: Theory, Practice, and Beyond and Theoretical Foundations of Computer Systems running at the Simons Institute at UC Berkeley this spring.

• Jan 21, 2021  Simons institute Theoretical Foundations of Computer Systems Boot Camp by Jakob Nordström Course 

  The Simons Institute Theoretical Foundations of Computer Systems Boot Camp will take place from Jan 25 to Jan 29 virtually.