Recent news about SAT for tag Registration

• Jun 19, 2019  SAT 2019 Final Call for Participation by Alexey Ignatiev SAT  Final  CFP  Registration 

  22nd International Conference on Theory and Applications of Satisfiability Testing

• May 5, 2019  SAT 2019 Call for Participation by Alexey Ignatiev SAT  CFP  Registration 

  22nd International Conference on Theory and Applications of Satisfiability Testing

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

• Aug 19, 2015  SAT 2015: Early Registration Ends Soon! Student Grants Available! by Sean Weaver Registration 

  SAT 2015: Early Registration Ends Soon! Student Grants Available!