Advertisement

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

About these proceedings

Introduction

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.

Keywords

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

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