© 2015

Theoretical Aspects of Computing - ICTAC 2015

12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings

  • Martin Leucker
  • Camilo Rueda
  • Frank D. Valencia
Conference proceedings ICTAC 2015

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

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

Table of contents

  1. Front Matter
    Pages I-XXIV
  2. Invited Talks

    1. Front Matter
      Pages 1-1
    2. Konstantinos Chatzikokolakis, Catuscia Palamidessi, Marco Stronati
      Pages 28-38
    3. Volker Diekert, Anca Muscholl, Igor Walukiewicz
      Pages 39-57
    4. Glynn Winskel
      Pages 69-88
  3. Algebra and Category Theory

    1. Front Matter
      Pages 89-89
    2. Henning Basold, Helle Hvid Hansen, Jean-Éric Pin, Jan Rutten
      Pages 91-109
    3. James Chapman, Tarmo Uustalu, Niccolò Veltri
      Pages 110-125
  4. Automata and Formal Languages

    1. Front Matter
      Pages 163-163
    2. Fides Aarts, Paul Fiterau-Brostean, Harco Kuppens, Frits Vaandrager
      Pages 165-183
    3. Zinovy Diskin, Aliakbar Safilian, Tom Maibaum, Shoham Ben-David
      Pages 184-202
    4. Feifei Peng, Haiming Chen, Xiaoying Mou
      Pages 203-220
  5. Concurrency

    1. Front Matter
      Pages 221-221
    2. Ioana Domnina Cristescu, Jean Krivine, Daniele Varacca
      Pages 223-240
    3. Nils Erik Flick
      Pages 241-257

About these proceedings


This book constitutes the refereed proceedings of the 12th International Colloquium on Theoretical Aspects of Computing, ICTAC 2015, held in Cali, Colombia, in October 2015.

The 25 revised full papers presented together with 7 invited talks, 3 tool papers, and 2 short papers were carefully reviewed and selected from 93 submissions. The papers cover various topics such as algebra and category theory; automata and formal languages; concurrency; constraints, logic and semantic; software architecture and component-based design; and verification.


Algebra Automata theory Concurrency Formal methods in computer science Semantic models Category theory Co-algebras Computability Domain-specific modeling Formal analysis Formal languages Formal verification Hybrid systems Logic Regular expressions Runtime verification Security properties Software architectures Type theory Verification

Editors and affiliations

  • Martin Leucker
    • 1
  • Camilo Rueda
    • 2
  • Frank D. Valencia
    • 3
  1. 1.University of LübeckLübeckGermany
  2. 2.Pontificia Universidad Javeriana-CaliCaliColombia
  3. 3.Pontificia Universidad Javeriana-CaliCNRS LIX École Polytechnique de ParisPalaiseau CedexFrance

Bibliographic information