Advertisement

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
    4. David S. Karcher, Uwe Nestmann
      Pages 258-271
    5. Sophia Knight, Bastien Maubert, François Schwarzentruber
      Pages 272-289
    6. N. Ouled Abdallah, M. Jmaiel, M. Mosbah, A. Zemmari
      Pages 290-306
  6. Constraints

    1. Front Matter
      Pages 307-307
    2. Deepak Mehta, Barry O’Sullivan, Luis Quesada
      Pages 309-327
    3. K. Subramani, Piotr Wojciechowski
      Pages 328-345
  7. Logic and Semantic

    1. Front Matter
      Pages 347-347
    2. Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
      Pages 349-367
    3. Mateus de Oliveira Oliveira
      Pages 368-387
  8. Software Architecture and Component-Based Design

  9. Verification

    1. Front Matter
      Pages 483-483
    2. Gustavo Betarte, Juan Diego Campo, Carlos Luna, Agustín Romano
      Pages 485-504
    3. Ana Cavalcanti, Wen-ling Huang, Jan Peleska, Jim Woodcock
      Pages 505-523
    4. Isabel Pita, Adrián Riesco
      Pages 524-541
    5. Matthieu Renard, Yliès Falcone, Antoine Rollet, Srinivas Pinisetty, Thierry Jéron, Hervé Marchand
      Pages 542-560
  10. Tool Papers

    1. Front Matter
      Pages 561-561
    2. Arend Aerts, Mohammad Reza Mousavi, Michel Reniers
      Pages 563-572
    3. Jesper R. Andersen, Nicklas Andersen, Søren Enevoldsen, Mathias M. Hansen, Kim G. Larsen, Simon R. Olesen et al.
      Pages 573-582
    4. Alexis Toumi, Julian Gutierrez, Michael Wooldridge
      Pages 583-594
  11. Short Papers

    1. Front Matter
      Pages 595-595
    2. Amin Timany, Bart Jacobs
      Pages 608-617
  12. Back Matter
    Pages 619-620

About these proceedings

Introduction

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.

Keywords

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

  • DOI https://doi.org/10.1007/978-3-319-25150-9
  • Copyright Information Springer International Publishing Switzerland 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-25149-3
  • Online ISBN 978-3-319-25150-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site