Advertisement

Computing with Foresight and Industry

15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019, Proceedings

  • Florin Manea
  • Barnaby Martin
  • Daniël Paulusma
  • Giuseppe Primiero
Conference proceedings CiE 2019

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

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

Table of contents

  1. Front Matter
    Pages i-xii
  2. Lorenzo Galeotti
    Pages 13-24
  3. Markus Holzer, Martin Kutrib
    Pages 25-36
  4. Kenshi Miyabe
    Pages 50-61
  5. Raymond Turner
    Pages 62-71
  6. Nikolay Bazhenov, Hristo Ganchev, Stefan Vatev
    Pages 84-95
  7. Nikolay Bazhenov, Manat Mustafa, Sergei Ospichev
    Pages 96-107
  8. Laurent Beaudou, Florent Foucaud, Florent Madelaine, Lhouari Nourine, Gaétan Richard
    Pages 108-119
  9. Paul C. Bell, Igor Potapov
    Pages 120-131
  10. Florian Bridoux, Nicolas Durbec, Kevin Perrot, Adrien Richard
    Pages 132-143
  11. Lorenzo Carlucci, Leonardo Mainardi, Michael Rathjen
    Pages 144-155
  12. Patrick Cégielski, Julien Cervelle
    Pages 156-167
  13. Rumen Dimitrov, Valentina Harizanov, Andrey Morozov, Paul Shafer, Alexandra Soskova, Stefan Vatev
    Pages 168-180
  14. Bruno Durand, Grégory Lafitte
    Pages 181-192
  15. Niels Grüttemeier, Christian Komusiewicz, Jannik Schestag, Frank Sommer
    Pages 193-204
  16. Iskander Kalimullin, Russell Miller, Hans Schoutens
    Pages 205-216
  17. Jean-Yves Moyen, Jakob Grue Simonsen
    Pages 217-229
  18. Ruslan Ishkuvatov, Daniil Musatov
    Pages 230-239
  19. Iosif Petrakis
    Pages 240-252
  20. Sam Sanders
    Pages 253-264
  21. Shaoyi Wang, Guohua Wu, Mars M. Yamaleev
    Pages 277-285
  22. Back Matter
    Pages 323-323

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 15th Conference on Computability in Europe, CiE 2019, held in Durham, UK, in July 2019.

The 20 revised full papers presented were carefully reviewed and selected from 35 submissions. In addition, this volume includes 7 invited papers. The conference CiE 2018 had the following six special sessions: computational neuroscience, history and philosophy of computing, lowness notions in computability, probabilistic programming and higher-order computation, smoothed and probabilistic analysis of algorithms, and transnite computations.

Keywords

approximation algorithms automata theory comprehension computability and decidability computational complexity equivalence classes finite automata finite state machines formal logic graph theory metric spaces problem solving query processing regular expressions satisfiability semantics set theory software engineering theorem proving xpath

Editors and affiliations

  • Florin Manea
    • 1
  • Barnaby Martin
    • 2
  • Daniël Paulusma
    • 3
  • Giuseppe Primiero
    • 4
  1. 1.Christian Albrechts University of KielKielGermany
  2. 2.Durham UniversityDurhamUK
  3. 3.Durham UniversityDurhamUK
  4. 4.Università degli Studi di MilanoMilanItaly

Bibliographic information

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