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.
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.
The SAT/SMT/AR summer school will precede SAT 2019 and SMT 2019 taking place on July 3-6, 2019 at the Instituto Superior Técnico (IST/UL), University of Lisbon, Portugal. The summer school registration is free of charge to make it accessible for participants to attend. The registration deadline is May, 31st. The program, registration, and all the information can be found in the website of the summer school.
The invited talk for the decade edition of Pragmatics of SAT is Joao Marques Silva. His talk is titled SAT: Disruption, Demise and Resurgence.
The 2019 SAT Race is a competitive event for solvers of the Boolean Satisfiability (SAT) problem. It is organized as a satellite event to the 22th International Conference on Theory and Applications of Satisfiability Testing and stands in the tradition of the yearly SAT Competitions / Races / Challenges. The deadline for submitting benchmarks and solvers is Monday April 15, 2019 (23:59 GMT -12, anywhere on earth). Visit the SAT Race website at http://sat-race-2019.ciirc.cvut.cz/ for details.
The proceedings of the 2015 and 2018 editions of Pragmatics of SAT workshops has just been published in Easychair Proceedings in Computing.
As we have done in the past we are seeking proposals for hosting and organizing SAT 2020.
This year, the SAT/SMT summer school joins forces with the automated reasoning community to propose a SAT/SMT/AR summer school right before IJCAR.