Recent news about SAT subscribe via RSS

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

• Jan 21, 2021  Simons institute Satisfiability: Theory, Practice, and Beyond Boot Camp by Jakob Nordström Course 

  The Simons Institute Satisfiability: Theory, Practice, and Beyond Boot Camp will take place from Feb 1 to Feb 5, 2021, virtually.

• Jan 13, 2021  SMT 2021 Call for Papers by Alexander Nadel CFP  SMT  Deadline 

  The annual international workshop on Satisfiability Modulo Theories will be held in Los Angeles, United States, from July 16-25, 2021.

• Jan 12, 2021  SAT 2021 Call for Papers by Jesús Giráldez-Cru CFP  SAT  Deadline 

  The annual international SAT conference will be held in Barcelona, Spain, from July 5-9, 2021.

• Dec 12, 2020  Postdoctoral position in combinatorial optimization (including SAT solving and constraint programming) at University of Copenhagen by Jakob Nordström PostDoc  Position  Deadline 

  The Department of Computer Science (DIKU) at the University of Copenhagen invites applications for postdoctoral positions in combinatorial optimization.

• Nov 22, 2020  SAT+SMT indian school 2020 is fully online by Daniel Le Berre SAT  SMT  Deadline 

  The SAT+SMT school is organized each year in an indian city in December since 2016. This year, due to COVID, the school will be fully online. As such, everybody is welcome to attend the school.

• Nov 21, 2020  Tenure Track Assistant Professors in Computer Science at Aalto University, Helsinki, Finland by Jussi Rintanen Position  Deadline 

  The CS Department of Aalto University calls for applications for tenure-track Assistant Professorship in all areas of Computer Science. The CS Department is very well funded, availability of research funding in Finland in general is very good, and the positions come with a generous start-up package that funds a new research group for a number of years. Quality of life in Helsinki is internationally very competitive on multiple scales, and Finland is globally known as one of the progressive and technologically advanced Nordic societies.

• Aug 25, 2020  Keller's conjecture for dimension 7 solved using SAT by Daniel Le Berre SAT 

  The Keller’s conjecture is a 90 years old conjecture by Ott-Heinrich Keller that in any tiling of Euclidean space by identical hypercubes there are two cubes that meet face to face. The conjecture was know to be true up to dimension 6, and false in dimensions higher than 7. The conjecture was open for dimension 7.

• Aug 24, 2020  Awardees of the VCLA International Student Awards for Outstanding Master and Undergraduate Theses in Logic and Computer Science - 2020 by Mihaela Rozman CFP 

  The Vienna Center for Logic and Algorithms of TU Wien (VCLA) has the pleasure to announce the recipients of the VCLA International Student Awards for Outstanding Master and Undergraduate Theses in Logic and Computer Science.