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

Upcoming deadlines

March 27, 2017
SAT'17 workshop proposal
March 31, 2017
PhD and Postdoc @ KTH
April 3, 2017
JAR Special Issue 2017
April 25, 2017
TABLEAUX 2017 CFP
April 26, 2017
SAT'17 abstract submission
May 12, 2017
ARCADE Workshop CFP
May 15, 2017
QBFEVAL'17 Benchmarks

SAT related books