Topics in Theoretical Computer Science

Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings

  • Mohammad Reza Mousavi
  • Jiří Sgall
Conference proceedings TTCS 2017

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

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

Table of contents

  1. Front Matter
    Pages I-XVII
  2. Invited Talk

    1. Front Matter
      Pages 1-1
  3. Algorithms and Complexity

    1. Front Matter
      Pages 9-9
    2. Ardeshir Dolati
      Pages 11-25
    3. Saeid Hanifehnezhad, Ardeshir Dolati
      Pages 26-33
  4. Logic, Semantics, and Programming Theory

    1. Front Matter
      Pages 41-41
    2. Kasper Dokter, Farhad Arbab
      Pages 59-73
    3. Luigi Liquori, Claude Stolze
      Pages 74-90
    4. Alimujiang Yasen, Kazunori Ueda
      Pages 106-124
  5. Back Matter
    Pages 125-125

About these proceedings

Introduction

This book constitutes the refereed proceedings of the Second IFIP WG 1.8 International Conference on Topics in Theoretical Computer Science, TTCS 2017, held in Tehran, Iran, in September 2017.
The 8 papers presented in this volume were carefully reviewed and selected from 20 submissions. They were organized in topical sections named: algorithms and complexity; and logic, semantics, and programming theory.

Keywords

algorithms complexity graph theory logic formal semantics type theory programming languages theoretical computer science parallel processing systems formal methods

Editors and affiliations

  1. 1.University of LeicesterLeicesterUnited Kingdom
  2. 2.Charles UniversityPragueCzech Republic

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-68953-1
  • Copyright Information IFIP International Federation for Information Processing 2017
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-68952-4
  • Online ISBN 978-3-319-68953-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book