Advertisement

Fundamentals of Computation Theory

22nd International Symposium, FCT 2019, Copenhagen, Denmark, August 12-14, 2019, Proceedings

  • Leszek Antoni Gąsieniec
  • Jesper Jansson
  • Christos Levcopoulos
Conference proceedings FCT 2019

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

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

Table of contents

  1. Front Matter
    Pages i-xiii
  2. Invited Papers

  3. Formal Methods

    1. Front Matter
      Pages 47-47
    2. Christian Coester, Thomas Schwentick, Martin Schuster
      Pages 49-63
    3. Jesús Domínguez, Maribel Fernández
      Pages 64-79
    4. Alexander Kozachinskiy, Alexander Shen
      Pages 80-94
    5. Markus Lohrey, Sebastian Maneth
      Pages 95-108
  4. Complexity

    1. Front Matter
      Pages 109-109
    2. Vikraman Arvind, Frank Fuhlbrück, Johannes Köbler, Oleg Verbitsky
      Pages 111-125
    3. Andreas Bärtschi, Stephan Eidenbenz
      Pages 126-139
    4. Gianluca De Marco, Tomasz Jurdziński, Dariusz R. Kowalski
      Pages 140-152
  5. Algorithms

    1. Front Matter
      Pages 169-169
    2. Iago A. Carvalho, Thomas Erlebach, Kleitos Papadopoulos
      Pages 171-184
    3. Katrin Casel, Henning Fernau, Mehdi Khosravian Ghadikolaei, Jérôme Monnot, Florian Sikora
      Pages 185-200
    4. Sankardeep Chakraborty, Anish Mukherjee, Srinivasa Rao Satti
      Pages 201-212
    5. Panagiotis Charalampopoulos, Tomasz Kociumaka, Solon P. Pissis, Jakub Radoszewski, Wojciech Rytter, Juliusz Straszyński et al.
      Pages 213-228
    6. Bireswar Das, Shivdutt Sharma, P. R. Vaidyanathan
      Pages 229-242
    7. Riccardo Dondi, Manuel Lafond
      Pages 243-257
    8. Carl Feghali, Matthew Johnson, Giacomo Paesani, Daniël Paulusma
      Pages 258-273
    9. Hernán González-Aguilar, David Orden, Pablo Pérez-Lantero, David Rappaport, Carlos Seara, Javier Tejel et al.
      Pages 274-291
    10. Frank Gurski, Dominique Komander, Carolin Rehs
      Pages 292-305
    11. Marek Klonowski, Dariusz R. Kowalski, Jarosław Mirek, Prudence W. H. Wong
      Pages 306-321
    12. Duygu Vietz, Egon Wanke
      Pages 350-364
  6. Back Matter
    Pages 365-365

About these proceedings

Introduction

This book constitutes the proceedings of the 22nd International Symposium on Fundamentals of Computation Theory, FCT 2019, held in Copenhagen, Denmark, in August 2019.

The 21 full papers included in this volume were carefully reviewed and selected from 45 submissions. In addition, the book contains 3 invited talks in full-paper length. The papers were organized in topical sections named: formal methods, complexity, and algorithms.

Keywords

algorithm design and optimization artificial intelligence computational geometry computer graphics data structures graph algorithms graph g graph theory graphic methods models of computation planar graph quantum computation vertex set

Editors and affiliations

  1. 1.University of LiverpoolLiverpoolUK
  2. 2.Hong Kong Polytechnic UniversityHong KongChina
  3. 3.Lund UniversityLundSweden

Bibliographic information

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