© 2013

Frontiers of Combining Systems

9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings

  • Pascal Fontaine
  • Christophe Ringeissen
  • Renate A. Schmidt
Conference proceedings FroCoS 2013

Part of the Lecture Notes in Computer Science book series (LNCS, volume 8152)

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 8152)

Table of contents

  1. Front Matter
  2. Invited Talk 1

    1. Lawrence C. Paulson
      Pages 1-6
  3. Inductive Theorem Proving

    1. Abdelkader Kersani, Nicolas Peltier
      Pages 7-22
  4. Arrays and Memory Access Optimization

    1. Francesco Alberti, Silvio Ghilardi, Natasha Sharygina
      Pages 23-39
    2. Ralf Karrenberg, Marek Košta, Thomas Sturm
      Pages 56-70
  5. Approximation and Forgetting

    1. Rafael Peñaloza, Tingting Zou
      Pages 71-86
    2. Patrick Koopmann, Renate A. Schmidt
      Pages 87-102
  6. Invited Talk 2

    1. Clark Barrett, Stéphane Demri, Morgan Deters
      Pages 120-150
  7. Temporal and Description Logic Techniques

    1. Stefan Borgwardt, Marcel Lippmann, Veronika Thost
      Pages 165-180
    2. Franz Baader, Benjamin Zarrieß
      Pages 181-196
  8. Invited Talk 3

  9. Theorem Proving with Theories and Sorts

    1. Matthias Horbach, Viorica Sofronie-Stokkermans
      Pages 198-213
    2. Konstantin Korovin
      Pages 214-228
    3. Guillaume Burel, Simon Cruanes
      Pages 229-244
    4. Jasmin Christian Blanchette, Andrei Popescu
      Pages 245-260
  10. Invited Talk 4

  11. Modal Logic and Description Logic

    1. Carlos Areces, Raul Fervari, Guillaume Hoffmann
      Pages 263-278

About these proceedings


This book constitutes the refereed proceedings of the 9th International Symposium on Frontiers of Combining Systems, FroCoS 2013, held in Nancy, France, in September 2013.
The 20 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 33 submissions. FroCoS'13 seeks to offer a common forum for research in the general area of combination,modularization and integration of systems, with emphasis on logic-based ones, and of their practical use.  Typical topics of interest include following subjects: combinations of logics such as combined predicate, temporal, modal or epistemic logics, combinations and modularity in ontologies, combination of decision, procedures, of satisfiability, procedures and of constraint solving techniques, combinations and modularity in term rewriting, integration of equational and other theories into deductive systems, combination of deduction systems and computer algebra, integration of data structures into constraint logic programming and deduction, and modularizing programs and specifications.


complexity decidability linear temporal logic model checking term rewriting

Editors and affiliations

  • Pascal Fontaine
    • 1
  • Christophe Ringeissen
    • 2
  • Renate A. Schmidt
    • 3
  1. 1.LORIA, Inria Nancy Grand EstUniversité de LorraineVillers-les-NancyFrance
  2. 2.LORIA, Inria Nancy Grand EstVillers-lès-NancyFrance
  3. 3.School of Computer ScienceThe University of ManchesterManchesterUK

Bibliographic information