Foundations of Software Science and Computation Structures

22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

  • Mikołaj Bojańczyk
  • Alex Simpson
Open Access
Conference proceedings
FoSSaCS 2019

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

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 11425)

Table of contents

  1. Front Matter
    Pages i-xv
  2. Thomas Colcombet, Nathanaël Fijalkow
    Pages 1-26 Open Access
  3. Aurore Alcolei, Pierre Clairambault, Olivier Laurent
    Pages 27-44 Open Access
  4. Mario Alvarez-Picallo, C.-H. Luke Ong
    Pages 45-61 Open Access
  5. Simone Barlocco, Clemens Kupke, Jurriaan Rot
    Pages 62-79 Open Access
  6. Amir M. Ben-Amram, Geoff W. Hamilton
    Pages 80-97 Open Access
  7. Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk
    Pages 98-114 Open Access
  8. Benedikt Bollig, Patricia Bouyer, Fabian Reiter
    Pages 115-132 Open Access
  9. Michaël Cadilhac, Guillermo A. Pérez, Marie van den Bogaard
    Pages 133-149 Open Access
  10. Simon Castellan, Nobuko Yoshida
    Pages 150-168 Open Access
  11. Andrea Corradini, Tobias Heindel, Barbara König, Dennis Nolte, Arend Rensink
    Pages 169-188 Open Access
  12. Luc Dartois, Emmanuel Filiot, Jean-Marc Talbot
    Pages 189-206 Open Access
  13. Amina Doumane, Denis Kuperberg, Damien Pous, Pierre Pradic
    Pages 207-223 Open Access
  14. Jérémy Dubut
    Pages 224-241 Open Access
  15. Mnacho Echenim, Radu Iosif, Nicolas Peltier
    Pages 242-259 Open Access
  16. Utkarsh Gupta, Preey Shah, S. Akshay, Piotr Hofman
    Pages 260-276 Open Access
  17. Daniel Hausmann, Lutz Schröder
    Pages 277-294 Open Access
  18. Jasper Hugunin
    Pages 295-312 Open Access
  19. Bart Jacobs, Aleks Kissinger, Fabio Zanasi
    Pages 313-329 Open Access
  20. Marie Kerjean, Jean-Simon Pacaud Lemay
    Pages 330-347 Open Access
  21. Dietrich Kuske, Georg Zetzsche
    Pages 348-364 Open Access
  22. Thomas Leventis, Michele Pagani
    Pages 365-381 Open Access
  23. Cristina Matache, Sam Staton
    Pages 382-399 Open Access
  24. Stefan Milius, Henning Urbat
    Pages 400-417 Open Access
  25. Christophe Lucas, Matteo Mio
    Pages 418-435 Open Access
  26. Jakob Piribauer, Christel Baier
    Pages 436-452 Open Access
  27. Maciej Piróg, Piotr Polesiuk, Filip Sieczkowski
    Pages 453-469 Open Access
  28. Pierre Pradic, Colin Riba
    Pages 470-487 Open Access
  29. Helmut Seidl, Raphaela Palenta, Sebastian Maneth
    Pages 488-504 Open Access
  30. Rob van Glabbeek
    Pages 505-522 Open Access
  31. Thorsten Wißmann, Jérémy Dubut, Shin-ya Katsumata, Ichiro Hasuo
    Pages 523-540 Open Access
  32. Back Matter
    Pages 541-542

About these proceedings


This book is Open Access under a CC BY licence.


artificial intelligence first order logic formal languages formal logic graph theory programming languages semantics

Editors and affiliations

  • Mikołaj Bojańczyk
    • 1
  • Alex Simpson
    • 2
  1. 1.University of WarsawWarsawPoland
  2. 2.University of LjubljanaLjubljanaSlovenia

Bibliographic information

  • DOI
  • Copyright Information The Editor(s) (if applicable) and The Author(s) 2019
  • License CC BY
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-030-17126-1
  • Online ISBN 978-3-030-17127-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site