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

January 21, 2018
Postdoc @ KTH
January 29, 2018
Call for papers IJCAR 2018
February 7, 2018
SAT'18 paper submission

SAT related books