Theoretical Aspects of Computing – ICTAC 2017

14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings

  • Dang Van Hung
  • Deepak Kapur
Conference proceedings ICTAC 2017

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

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

Table of contents

  1. Front Matter
    Pages I-XX
  2. Logics

    1. Front Matter
      Pages 1-1
    2. Adrián Riesco, Kazuhiro Ogata
      Pages 3-12
    3. Rolf Hennicker, Alexandre Madeira
      Pages 13-31
    4. Tarmo Uustalu, Niccolò Veltri
      Pages 32-50
    5. Divyanshu Bagga, S. Arun Kumar
      Pages 51-69
  3. Software Components and Concurrency

    1. Front Matter
      Pages 77-77
    2. Diego Marmsoler
      Pages 79-99
    3. Thai Son Hoang, Colin Snook, Dana Dghaym, Michael Butler
      Pages 100-117
    4. Jürgen König, Heike Wehrheim
      Pages 118-135
    5. Hiroshi Umeo, Keisuke Kubo, Akira Nomura
      Pages 136-152
  4. Automata

  5. SMT Solvers and Algorithms

    1. Front Matter
      Pages 211-211
    2. Bertram Felgenhauer, Aart Middeldorp
      Pages 213-228
    3. Peter Gjøl Jensen, Kim Guldstrand Larsen, Jiří Srba
      Pages 248-265
  6. Security

    1. Front Matter
      Pages 267-267
    2. Quoc Huy Do, Richard Bubel, Reiner Hähnle
      Pages 269-287
    3. Yuqin Xu, Shangli Zhao, Lanju Kong, Yongqing Zheng, Shidong Zhang, Qingzhong Li
      Pages 288-304
  7. Back Matter
    Pages 305-305

About these proceedings


This book constitutes the refereed proceedings of the 14th International Colloquium on Theoretical Aspects of Computing, ICTAC 2017, held in Hanoi, Vietnam, in October 2017.

The 17 revised full papers presented together with three invited talks were carefully reviewed and selected from 40 submissions. The papers are organized in topical sections on logics; software components and concurrency; automata; SMT solvers and algorithms; and security.


artificial intelligence automata theory formal logic formal methods logics model checking semantics and reasoning software organization and properties theorem proving theoretical computer science theory of security verification

Editors and affiliations

  • Dang Van Hung
    • 1
  • Deepak Kapur
    • 2
  1. 1.Vietnam National UniversityHanoiVietnam
  2. 2.University of New MexicoAlbuquerqueUSA

Bibliographic information

Industry Sectors
IT & Software