Frontiers of Combining Systems

8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings

  • Cesare Tinelli
  • Viorica Sofronie-Stokkermans
Conference proceedings FroCoS 2011

DOI: 10.1007/978-3-642-24364-6

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

Table of contents

  1. Front Matter
  2. Invited Papers

    1. Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
      Pages 1-11
    2. Jasmin Christian Blanchette, Lukas Bulwahn, Tobias Nipkow
      Pages 12-27
  3. Contributed Papers

    1. Carlos Areces, Pascal Fontaine
      Pages 40-54
    2. Marcello M. Bersani, Stéphane Demri
      Pages 71-86
    3. François Bobot, Andrei Paskevich
      Pages 87-102
    4. Andreas Eggers, Evgeny Kruglov, Stefan Kupferschmid, Karsten Scheibler, Tino Teige, Christoph Weidenbach
      Pages 119-134
    5. Luis Fariñas del Cerro, Andreas Herzig
      Pages 135-146
    6. Alberto Griggio, Quoc-Sang Phan, Roberto Sebastiani, Silvia Tomasi
      Pages 163-178
    7. Florent Jacquemard, Yoshiharu Kojima, Masahiko Sakai
      Pages 179-194
    8. Dejan Jovanović, Clark Barrett
      Pages 195-210
    9. Manfred Schmidt-Schauss, David Sabel, Altug Anis
      Pages 227-242
    10. Christian Sternagel, René Thiemann
      Pages 243-258
  4. Back Matter

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 8th International Symposium on Frontiers of Combining Systems, FroCoS 2011, held in Saarbrücken, Germany, in October 2011. The 15 revised full papers presented together with three invited papers were carefully reviewed and selected from 22 submissions. The event builds a common forum for research activities in the general area of combination, modularization and integration of systems, with emphasis on logic-based ones, and of their practical use.

Keywords

answer-set programming first-order logic higher order rewriting linear arithmetic model checking

Editors and affiliations

  • Cesare Tinelli
    • 1
  • Viorica Sofronie-Stokkermans
    • 2
  1. 1.University of IowaUSA
  2. 2.Max-Planck-Institut für InformatikSaarbrückenGermany

Bibliographic information

  • Copyright Information Springer-Verlag GmbH Berlin Heidelberg 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-24363-9
  • Online ISBN 978-3-642-24364-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349