Fundamentals of Computation Theory

21st International Symposium, FCT 2017, Bordeaux, France, September 11–13, 2017, Proceedings

  • Ralf Klasing
  • Marc Zeitoun
Conference proceedings FCT 2017
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10472)

Table of contents

  1. Contributed Papers

    1. Emmanuel Filiot, Nicolas Mazzocchi, Jean-François Raskin
      Pages 243-256
    2. Till Fluschnik, Marco Morik, Manuel Sorge
      Pages 257-270
    3. Pierre Ganty, Elena Gutiérrez
      Pages 271-283
    4. Dima Grigoriev, Vladimir V. Podolskii
      Pages 284-297
    5. Pushkar S. Joglekar, B. V. Raghavendra Rao, Siddhartha Sivakumar
      Pages 298-311
    6. Tomasz Jurdziński, Michał Różański
      Pages 312-325
    7. Max Kanovich, Stepan Kuznetsov, Andre Scedrov
      Pages 326-340
    8. Aris Pagourtzis, Giorgos Panagiotakos, Dimitris Sakavalas
      Pages 367-380
    9. Holger Petersen
      Pages 409-417
  2. Back Matter
    Pages 431-432

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 21st International Symposium on Fundamentals of Computation Theory, FCT 2017, held in Bordeaux, France, in September 2017. The 29 revised full papers and 5 invited papers presented were carefully reviewed and selected from 99 submissions. The papers cover topics of all aspects of theoretical computer science, in particular algorithms, complexity, formal and logical methods.

Keywords

theoretical computer science algorithms complexity formal and logical methods automata and formal languages cloud computing computational complexity model checking ubiquitous systems algorithm design approximation combinatorics computational biology computational geometry distributed computing evolving systems formal methods hybrid systems logics online algorithms

Editors and affiliations

  • Ralf Klasing
    • 1
  • Marc Zeitoun
    • 2
  1. 1.CNRSUniversity of BordeauxTalence cedexFrance
  2. 2.LaBRIUniversity of BordeauxTalence cedexFrance

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-662-55751-8
  • Copyright Information Springer-Verlag GmbH Germany 2017
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-662-55750-1
  • Online ISBN 978-3-662-55751-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book