Foundations of Software Science and Computational Structures

15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings

  • Lars Birkedal
Conference proceedings FoSSaCS 2012

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

Table of contents

  1. Front Matter
  2. Andrea Calì, Georg Gottlob, Giorgio Orsi, Andreas Pieris
    Pages 1-25
  3. Glynn Winskel
    Pages 26-41
  4. Robert Atkey, Neil Ghani, Bart Jacobs, Patricia Johann
    Pages 42-57
  5. Jiří Adámek, Filippo Bonchi, Mathias Hülsbusch, Barbara König, Stefan Milius, Alexandra Silva
    Pages 58-73
  6. Danel Ahman, James Chapman, Tarmo Uustalu
    Pages 74-88
  7. Jiří Adámek, Stefan Milius, Lawrence S. Moss, Lurdes Sousa
    Pages 89-103
  8. Ana Bove, Peter Dybjer, Andrés Sicard-Ramírez
    Pages 104-118
  9. Dariusz Biernacki, Sergueï Lenglet
    Pages 119-134
  10. Stefan Breuers, Christof Löding, Jörg Olschewski
    Pages 150-164
  11. Helmut Seidl, Andreas Reuß
    Pages 165-179
  12. Radha Jagadeesan, Gustavo Petri, James Riely
    Pages 180-194
  13. Marco Bernardo, Rocco De Nicola, Michele Loreti
    Pages 195-209
  14. Kirstin Peters, Uwe Nestmann
    Pages 210-224
  15. Silvia Crafa, Daniele Varacca, Nobuko Yoshida
    Pages 225-239
  16. Daniel Gorín, Lutz Schröder
    Pages 240-254
  17. Alexander Kurz, Tomoyuki Suzuki, Emilio Tuosto
    Pages 255-269
  18. Thomas Brihaye, Véronique Bruyère, Julie De Pril, Hugo Gimbert
    Pages 286-300
  19. Patricia Bouyer, Romain Brenguier, Nicolas Markey, Michael Ummels
    Pages 301-315
  20. Rob van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke-Uffmann
    Pages 331-345
  21. Bernardo Toninho, Luis Caires, Frank Pfenning
    Pages 346-360
  22. Mathias Hülsbusch, Barbara König
    Pages 361-375
  23. Benedikt Bollig, Aiswarya Cyriac, Paul Gastin, K. Narayan Kumar
    Pages 391-405
  24. Stefan Göller, Christoph Haase, Joël Ouaknine, James Worrell
    Pages 406-420
  25. Sumit Nain, Moshe Y. Vardi
    Pages 421-436
  26. Di Chen, Franck van Breugel, James Worrell
    Pages 437-451
  27. Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, Björn Wachter, James Worrell
    Pages 467-481
  28. Back Matter

About these proceedings


This book constitutes the proceedings of the 15th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2012, held as part of the joint European Conference on Theory and Practice of Software, ETAPS 2012, which took place in Tallinn, Estonia, in March/April 2012.
The 29 papers presented in this book together with two invited talks in full paper length were carefully reviewed and selected from 100 full paper submissions. The papers deal with theories and methods to support analysis, synthesis, transformation and verification of programs and software systems.


denotational semantics event structures first-order logic model checking temporal logic

Editors and affiliations

  • Lars Birkedal
    • 1
  1. 1.IT University of CopenhagenCopenhagenDenmark

Bibliographic information

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