Recent news about SAT for tag SMT

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

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

• Mar 25, 2019  SAT/SMT/AR Summer School 2019 by Alexey Ignatiev SAT  SMT  AR  Registration 

  The SAT/SMT/AR Summer School aims to bring a select group of students up to speed quickly in this exciting research area. The school continues the successful line of Summer Schools that ran from 2011 to 2015 as SAT/SMT Summer Schools and added AR in 2016.

• May 5, 2016  SAT/SMT/AR summer school, Lisbon, Portugal by Ines Lynce CFP  SAT  SMT  Deadline 

  EXTENDED APPLICATION DEADLINE: May 15th, 2016

• Dec 23, 2015  SAT/SMT/AR summer school, Lisbon, Portugal by Philipp Rümmer SAT  SMT 

  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.