Foundations of Software Science and Computational Structures

14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

  • Martin Hofmann
Conference proceedings FoSSaCS 2011

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

Table of contents

  1. Front Matter
  2. The Search for Structure in Quantum Computation

  3. Coalgebra and Computability

    1. Paul Blain Levy
      Pages 27-41
    2. Holger Bock Axelsen, Robert Glück
      Pages 42-56
  4. Type Theory

    1. Robert Atkey, Patricia Johann, Neil Ghani
      Pages 72-87
    2. Jean-Philippe Bernardy, Marc Lasson
      Pages 108-122
  5. Process Calculi

    1. Adrien Piérard, Eijiro Sumii
      Pages 123-137
    2. Andrés Aristizábal, Filippo Bonchi, Catuscia Palamidessi, Luis Pino, Frank Valencia
      Pages 138-152
    3. Remi Bonnet, Alain Finkel, Serge Haddad, Fernando Rosa-Velardo
      Pages 153-167
  6. Automata Theory

    1. Christian Dax, Felix Klaedtke
      Pages 168-183
    2. Udi Boker, Orna Kupferman
      Pages 184-198
    3. Shulamit Halamish, Orna Kupferman
      Pages 199-213
    4. Didier Caucal, Trong Hieu Dinh
      Pages 214-228
    5. Rémi Jaubert, Pierre-Alain Reynier
      Pages 229-244
    6. Nathalie Bertrand, Amélie Stainer, Thierry Jéron, Moez Krichen
      Pages 245-259
    7. Yaron Velner, Alexander Rabinovich
      Pages 275-289
  7. Semantics

  8. Binding

  9. Security

    1. Michele Boreale, Francesca Pampaloni, Michela Paolini
      Pages 396-410
    2. Christian Stahl, Walter Vogler
      Pages 411-425
  10. Program Analysis

    1. Anders M ø ller, Mathias Schwarz
      Pages 426-440
    2. Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro
      Pages 441-455
    3. Patrick Cousot, Radhia Cousot, Laurent Mauborgne
      Pages 456-472
  11. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the 14th International Conference on Foundations of Software Science and computational Structures, FOSSACS 2011, held in Saarbrücken, Germany, March 26—April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software.

The 30 revised full papers presented together with one full-paper length invited talk were carefully reviewed and selected from 100 submissions. The papers are organized in topical sections on coalgebra and computability, type theory, process calculi, automata theory, semantics, binding, security, and program analysis.


abstract machines computational complexity correctness decision procedures first order logic formal verification infinite games modal logics model checking process algebras programming languages semantics regular games security software engineering theorem proving

Editors and affiliations

  • Martin Hofmann
    • 1
  1. 1.Institut für InformatikLudwig-Maximilians-Universität MünchenMünchenGermany

Bibliographic information

Industry Sectors
IT & Software