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

April 25, 2018
RCRA'18
May 15, 2018
PhD @ KTH
May 31, 2018
MS'18
July 1, 2018
SAT'19

SAT related books