Foundations of Software Science and Computation Structures

16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

  • Frank Pfenning
Conference proceedings FoSSaCS 2013

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

Table of contents

  1. Front Matter
  2. Models of Computation

    1. Jonathan Hayman, Tobias Heindel
      Pages 1-16
    2. Nikos Tzevelekos, Radu Grigore
      Pages 17-33
    3. Michael Huth, Jim Huan-Pu Kuo, Nir Piterman
      Pages 34-49
  3. Reasoning about Processes

    1. Jannik Dreier, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech
      Pages 50-64
    2. Rémi Bonnet, Rohit Chadha
      Pages 65-80
    3. Lorenzo Clemente, Frédéric Herbreteau, Amelie Stainer, Grégoire Sutre
      Pages 81-96
  4. Bisimulation

    1. Martin Churchill, Peter D. Mosses
      Pages 97-112
    2. Fernando Orejas, Artur Boronat, Ulrike Golas, Nikos Mylonakis
      Pages 113-128
    3. Faris Abou-Saleh, Dirk Pattinson
      Pages 129-144
    4. Shin-ya Katsumata, Tetsuya Sato
      Pages 145-160
  5. Modal and Higher-Order Logics

  6. Reasoning about Programs

    1. Andrej Bauer, Martin Hofmann, Aleksandr Karbyshev
      Pages 225-240
    2. Andrzej S. Murawski, Nikos Tzevelekos
      Pages 241-256
    3. Robbert Krebbers, Freek Wiedijk
      Pages 257-272
  7. Computational Complexity

    1. Prateek Karandikar, Sylvain Schmitz
      Pages 273-288
    2. Wojciech Czerwiński, Claire David, Katja Losemann, Wim Martens
      Pages 289-304
    3. Emmanuel Hainry, Jean-Yves Marion, Romain Péchoux
      Pages 305-320
    4. Martin Hofmann, Ramyaa Ramyaa, Ulrich Schöpp
      Pages 321-336
  8. Quantitative Models

    1. Pietro Di Gianantonio, Abbas Edalat
      Pages 337-352
    2. Michael Ummels, Christel Baier
      Pages 353-368
    3. Guy Avni, Orna Kupferman
      Pages 369-384
    4. Benedikt Bollig, Paul Gastin, Benjamin Monmege
      Pages 385-400
  9. Categorical Models

  10. Back Matter

About these proceedings


This book constitutes the proceedings of the 16th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2013, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2013, which took place in Rome, Italy, in March 2013 The 28 papers presented in this volume were carefully reviewed and selected from 109 submissions. They are organized in topical sections named: models of computation; reasoning about processes; bisimulation; modal and higher-order logics; reasoning about programs; computational complexity; quantitative models; and categorical models.


game semantics modal logics nominal sets pattern graphs predicate logic

Editors and affiliations

  • Frank Pfenning
    • 1
  1. 1.School of Computer ScienceCarnegie Mellon UniversityPittsburghUSA

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-37074-8
  • Online ISBN 978-3-642-37075-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
IT & Software