Advertisement

Sailing Routes in the World of Computation

14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 – August 3, 2018, Proceedings

  • Florin Manea
  • Russell G. Miller
  • Dirk Nowotka
Conference proceedings CiE 2018

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

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

Table of contents

  1. Front Matter
    Pages I-XV
  2. Pavel Alaev, Victor Selivanov
    Pages 20-29
  3. Klaus Ambos-Spies
    Pages 30-39
  4. Nikolay Bazhenov, Margarita Marchuk
    Pages 40-49
  5. Florent Becker, Diego Maldonado, Nicolas Ollinger, Guillaume Theyssier
    Pages 50-59
  6. Christoph Benzmüller, Xavier Parent, Leendert van der Torre
    Pages 60-69
  7. Ulrich Berger, Olga Petrovska
    Pages 70-80
  8. Sebastian Berndt, Kim-Manuel Klein
    Pages 89-96
  9. Achilles A. Beros, Mushfeq Khan, Bjørn Kjos-Hanssen, André Nies
    Pages 97-106
  10. Paola Bonizzoni, Gianluca Della Vedova, Serena Nicosia, Yuri Pirola, Marco Previtali, Raffaella Rizzi
    Pages 107-117
  11. Merlin Carl
    Pages 118-125
  12. Merlin Carl, Sabrina Ouazzani, Philip Welch
    Pages 126-135
  13. Douglas Cenzer, Diego A. Rojas
    Pages 136-145
  14. Martin Davis
    Pages 146-155
  15. Henning Fernau, Till Fluschnik, Danny Hermelin, Andreas Krebs, Hendrik Molter, Rolf Niedermeier
    Pages 161-171
  16. Henning Fernau, Lakshmanan Kuppusamy, Rufus O. Oladele
    Pages 172-182
  17. Till Fluschnik, George B. Mertzios, André Nichterlein
    Pages 183-193
  18. Ivan Georgiev, Lars Kristiansen, Frank Stephan
    Pages 194-203
  19. Daniel S. Graça, Ning Zhong
    Pages 204-213
  20. Mathieu Hoyrup
    Pages 214-223
  21. Margarita Korovina, Oleg Kudinov
    Pages 234-243
  22. Lars Kristiansen, Juvenal Murwanashyaka
    Pages 244-253
  23. Massimo Lauria
    Pages 254-263
  24. Joao Marques-Silva
    Pages 264-276
  25. Timothy H. McNicholl, Don Stull
    Pages 277-286
  26. Marie Nicholson
    Pages 307-317
  27. Arno Pauly
    Pages 328-337
  28. Paula Quinon
    Pages 338-348
  29. Alexander Rybalov
    Pages 359-364
  30. Wilfried Sieg
    Pages 386-396
  31. André Souto, Luís Antunes, Paulo Mateus, Andreia Teixeira
    Pages 397-409
  32. Vladimir Uspenskiy, Alexander Shen
    Pages 410-420
  33. Takashi Yokomori, Fumiya Okubo
    Pages 421-431
  34. Back Matter
    Pages 433-434

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 14th Conference on Computability in Europe, CiE 2018, held in Kiel, Germany, in July/ August 2017.

The 26 revised full papers were carefully reviewed and selected from 55 submissions. In addition, this volume includes 15 invited papers. The conference CiE 2018 has six special sessions, namely: Approximation and optimization, Bioinformatics and bio-inspired computing, computing with imperfect information, continuous computation, history and philosophy of computing (celebrating the 80th birthday of Martin Davis), and SAT-solving.

Keywords

analysis of algorithms automata theory computational complexity design of algorithms differential equations formal languages formal logic models of computation numerical methods problem solving project management sat solvers satisfiability scheduling algorithms software engineering theorem proving Turing machines

Editors and affiliations

  • Florin Manea
    • 1
  • Russell G. Miller
    • 2
  • Dirk Nowotka
    • 3
  1. 1.Kiel UniversityKielGermany
  2. 2.Queens College, CUNYQueensUSA
  3. 3.Kiel UniversityKielGermany

Bibliographic information

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