Advertisement

Theoretical Aspects of Computing – ICTAC 2019

16th International Colloquium, Hammamet, Tunisia, October 31 – November 4, 2019, Proceedings

  • Robert Mark Hierons
  • Mohamed Mosbah
Conference proceedings ICTAC 2019

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

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

Table of contents

  1. Front Matter
    Pages i-xi
  2. Keynote Papers

  3. Models and Transition Systems

    1. Front Matter
      Pages 39-39
    2. Uli Fahrenberg, Axel Legay, Karin Quaas
      Pages 59-75
    3. Fateh Latreche, Abdelkader Moudjari, Hichem Talbi
      Pages 76-90
    4. Hiroyuki Seki, Reo Yoshimura, Yoshiaki Takata
      Pages 91-110
  4. Real-Time and Temporal Logics

    1. Front Matter
      Pages 111-111
    2. Étienne André, Jawher Jerray, Sahar Mhiri
      Pages 113-123
    3. František Blahoudek, Juraj Major, Jan Strejček
      Pages 152-171
  5. Verification and Concurrency

    1. Front Matter
      Pages 173-173
    2. Jafar Hamin
      Pages 175-195
    3. Kirstin Peters, Christoph Wagner, Uwe Nestmann
      Pages 196-215
    4. Xiaoying Mou, Haiming Chen, Yeting Li
      Pages 235-252
  6. Privacy and Security

    1. Front Matter
      Pages 253-253
    2. Vincenzo Arceri, Martina Olliaro, Agostino Cortesi, Isabella Mastroeni
      Pages 255-272
    3. Huu-Vu Nguyen, Tayssir Touili
      Pages 273-291
    4. Marwa Chaieb, Mirko Koscina, Souheib Yousfi, Pascal Lafourcade, Riadh Robbana
      Pages 292-312
    5. Daniele Gorla, Federica Granese, Catuscia Palamidessi
      Pages 313-331
  7. Equations, Types, and Programming Languages

    1. Front Matter
      Pages 333-333
    2. Xavier Thirioux, Alexis Maffart
      Pages 335-352
    3. Seyed Hossein Haeri, Paul Keir
      Pages 353-371
    4. Härmel Nestra
      Pages 372-391
    5. Martin Sulzmann, Kenny Zhuo Ming Lu
      Pages 392-409
  8. Back Matter
    Pages 411-411

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 16th International Colloquium on Theoretical Aspects of Computing, ICTAC 2019, held in Hammamet, Tunisia, in October/November 2019.
The 17 revised full papers presented together with 2 keynote papers and 1 industrial paper were carefully reviewed and selected from 138 submissions.
The papers are grouped in topical sections on models and transition systems; real-time and temporal logics; verification and concurrency; privacy and security; equations, types, and programming languages. 

Keywords

concurrency software verification logic logic and verification model checking real-time systems security and privacy semantics and reasoning image processing semantics neural networks classification estimation image segmentation image reconstruction object recognition image coding

Editors and affiliations

  1. 1.University of SheffieldSheffieldUK
  2. 2.University of BordeauxTalenceFrance

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-030-32505-3
  • Copyright Information Springer Nature Switzerland AG 2019
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-030-32504-6
  • Online ISBN 978-3-030-32505-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site