Recent news about SAT for tag modal-logic


  • Jul 15, 2015  FoSSaCS 2016 by Valentin Montmirail modal-logic  CFP 

    19th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), April 2016, Eindhoven, The Netherlands.
  • Jul 13, 2015  Advances in Modal Logic 2016 by Valentin Montmirail modal-logic  CFP 

    11th International Conference on Advances in Modal Logic, 2016, Budapest, Hungary.

Our scientific association

The SAT association

Our annual conference

Our journal

Journal on Satisfiability, Boolean Modeling and Computation

Upcoming deadlines

April 29, 2019
May 10, 2019
May 15, 2019
June 9, 2019
SAT hosting CFP
November 30, 2019
Helmut Veith Stipend

SAT related books