Publications

Articles in journals

  • David Déharbe, Pascal Fontaine, Yoann Guyot and Laurent Voisin. Integrating SMT solvers in Rodin. Science of Computer Programming, Accepted for publication (2014)
  • Areces, C., Fervari, R., and Hoffmann, G.. Swap Logic. Logic Journal of the IGPL, 22(2):309–332, 2014
  • Areces, C., Blackburn, P., Huertas, A.,, and Manzano, M.. Completeness in Hybrid Type Theory. Journal of Philosophical Logic, 43(2--3):209–238, June 2014

International conferences

  • Carlos Areces, Pascal Fontaine, and Stephan Merz, Modal Satisfiability via SMT Solving. Submitted. 2014
  • Paula Chocron, Pascal Fontaine, and Christophe Ringeissen. A gentle non-disjoint combination of satisfiability procedures. In Stéphane Demri, Deepak Kapur, and Christoph Weidenbach, editors, International Joint Conference on Automated Reasoning (IJCAR), volume 8562 of LNCS, Springer, 2014

International workshops

  • Paula Chocron, Pascal Fontaine, and Christophe Ringeissen. Satisfiability modulo non-disjoint combinations of theories connected via bridging functions. In Silvio Ghilardi, Ulrike Sattler, and Viorica Sofronie-Stokkermans, editors, Automated Deduction: Decidability, Complexity, Tractability (ADDCT), 2014
  • C. Areces, H. van Ditmarsch, R. Fervari, and F. Schwarzentruber. Logics with Copy and Remove. In Proceedings of the 21st Workshop on Logic, Language, Information and Computation (WoLLIC'14), Valparaiso, Chile, 2014