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.