Advertisement

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
    16. Härmel Nestra
      Pages 333-353
    17. Omer Nguena Timo, Alexandre Petrenko, S. Ramesh
      Pages 354-375
    18. Wilmer Ricciotti, James Cheney
      Pages 376-395
    19. Ryoma Senda, Yoshiaki Takata, Hiroyuki Seki
      Pages 415-434
    20. Manuel Töws, Heike Wehrheim
      Pages 435-454
    21. Gerco van Heerdt, Justin Hsu, Joël Ouaknine, Alexandra Silva
      Pages 472-492
    22. David Venhoek, Joshua Moerman, Jurriaan Rot
      Pages 493-512
    23. Siyang Xiao, Hanru Jiang, Hongjin Liang, Xinyu Feng
      Pages 513-531
  4. Back Matter
    Pages 533-533

About these proceedings

Introduction

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.

Keywords

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

  • DOI https://doi.org/10.1007/978-3-030-02508-3
  • Copyright Information Springer Nature Switzerland AG 2018
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-030-02507-6
  • Online ISBN 978-3-030-02508-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Electronics
IT & Software
Aerospace