© 2018

Theoretical Aspects of Computing – ICTAC 2018

15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings

  • Bernd Fischer
  • Tarmo Uustalu
Conference proceedings ICTAC 2018

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

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

Table of contents

  1. Front Matter
    Pages I-XVII
  2. Invited Talks (Papers)

  3. Contributed Talks

    1. Front Matter
      Pages 35-35
    2. Beniamino Accattoli
      Pages 37-61
    3. Éric Badouel, Rodrigue Aimé Djeumen Djatcha
      Pages 62-79
    4. Martin Berglund, Ina Schaefer
      Pages 80-98
    5. Martin Berglund, Willem Bester, Brink van der Merwe
      Pages 99-115
    6. Apiwat Chantawibul, Paweł Sobociński
      Pages 116-131
    7. Pedro R. D’Argenio, Raúl E. Monti
      Pages 132-152
    8. Fredrik Dahlqvist, Louis Parlant, Alexandra Silva
      Pages 153-172
    9. Bertram Felgenhauer, Franziska Rapp
      Pages 173-190 Open Access
    10. Sergey Goncharov, Christoph Rauch, Lutz Schröder
      Pages 191-210
    11. Henriette Harmse, Katarina Britz, Aurona Gerber
      Pages 211-230
    12. David Janin
      Pages 231-251
    13. Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf, Lars Tveito
      Pages 252-272
    14. Martin Jonáš, Jan Strejček
      Pages 273-291
    15. Henrich Lauko, Petr Ročkai, Jiří Barnat
      Pages 313-332

About these proceedings


This book constitutes the refereed proceedings of the 15th International Colloquium on Theoretical Aspects of Computing, ICTAC 2018, held in Stellenbosch, South Africa, in October 2018.

The 25 revised full papers presented together with two short and two long invited talks were carefully reviewed and selected from 59 submissions.

The ICTAC conference aims at bringing together researchers and practitioners from academia, industry and government to present research and exchange ideas and experience addressing challenges in both theoretical aspects of computing and the exploitation of theory through methods and tools for system development. ICTAC also specifically aims to promote research cooperation between developing and industrial countries.


artificial intelligence automata theory databases description logics finite automata formal logic languages and automata linguistics model checking program transformations programming languages query languages satisfiability semantics and reasoning software engineering software verification software verification

Editors and affiliations

  1. 1.Stellenbosch UniversityStellenboschSouth Africa
  2. 2.Reykjavík UniversityReykjavikIceland

Bibliographic information