Skip to main content
SpringerLink
Log in
Book cover

Connecting with Computability

17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5–9, 2021, Proceedings

  • Conference proceedings
  • © 2021

Overview

Editors:
  1. Liesbeth De Mol

    1. University of Lille, Lille, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Andreas Weiermann

    1. Vakgroep Wiskunde, Ghent University, Ghent, Belgium

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Florin Manea

    1. University of Göttingen, Göttingen, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. David Fernández-Duque

    1. Ghent University, Ghent, Belgium

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: CiE 2021.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (45 papers)

  1. Front Matter

    Pages i-xxiv
    Download chapter PDF

  2. Searching for Applicable Versions of Computable Structures

    • P. E. Alaev, V. L. Selivanov
    Pages 1-11

  3. On Measure Quantifiers in First-Order Arithmetic

    • Melissa Antonelli, Ugo Dal Lago, Paolo Pistone
    Pages 12-24

  4. Learning Languages with Decidable Hypotheses

    • Julian Berger, Maximilian Böther, Vanja Doskoč, Jonathan Gadea Harder, Nicolas Klodt, Timo Kötzing et al.
    Pages 25-37

  5. Robust Online Algorithms for Dynamic Choosing Problems

    • Sebastian Berndt, Kilian Grage, Klaus Jansen, Lukas Johannsen, Maria Kosche
    Pages 38-49

  6. On the Degrees of Constructively Immune Sets

    • Samuel D. Birns, Bjørn Kjos-Hanssen
    Pages 50-59

  7. Fine-Grained Complexity Theory: Conditional Lower Bounds for Computational Geometry

    • Karl Bringmann
    Pages 60-70

  8. The Lost Melody Theorem for Infinite Time Blum-Shub-Smale Machines

    • Merlin Carl
    Pages 71-81

  9. Randomising Realizability

    • Merlin Carl, Lorenzo Galeotti, Robert Passmann
    Pages 82-93

  10. Restrictions of Hindman’s Theorem: An Overview

    • Lorenzo Carlucci
    Pages 94-105

  11. Complexity and Categoricity of Injection Structures Induced by Finite State Transducers

    • Richard Krogman, Douglas Cenzer
    Pages 106-119

  12. A Tale of Optimizing the Space Taken by de Bruijn Graphs

    • Rayan Chikhi
    Pages 120-134

  13. Formally Computing with the Non-computable

    • Liron Cohen
    Pages 135-145

  14. Mapping Monotonic Restrictions in Inductive Inference

    • Vanja Doskoč, Timo Kötzing
    Pages 146-157

  15. Normal Forms for Semantically Witness-Based Learners in Inductive Inference

    • Vanja Doskoč, Timo Kötzing
    Pages 158-168

  16. Walk-Preserving Transformation of Overlapped Sequence Graphs into Blunt Sequence Graphs with GetBlunted

    • Jordan M. Eizenga, Ryan Lorig-Roach, Melissa M. Meredith, Benedict Paten
    Pages 169-177

  17. On 3SUM-hard Problems in the Decision Tree Model

    • Esther Ezra
    Pages 178-188

  18. Limitwise Monotonic Spectra and Their Generalizations

    • Marat Faizrahmanov
    Pages 189-198

  19. On False Heine/Borel Compactness Principles in Proof Mining

    • Fernando Ferreira
    Pages 199-203

  20. Placing Green Bridges Optimally, with a Multivariate Analysis

    • Till Fluschnik, Leon Kellerhals
    Pages 204-216
Back to top

Other volumes

  1. Connecting with Computability

Keywords

About this book

This book constitutes the proceedings of the 17th Conference on Computability in Europe, CiE 2021, organized by the University of Ghent in July 2021. Due to COVID-19 pandemic the conference was held virtually.

The 48 full papers presented in this volume were carefully reviewed and selected from 50 submissions. CiE promotes the development of computability-related science, ranging over mathematics, computer science and applications in various natural and engineering sciences, such as physics and biology, as well as related fields, such as philosophy and history of computing. CiE 2021 had as its motto Connecting with Computability, a clear acknowledgement of the connecting and interdisciplinary nature of the conference series which is all the more important in a time where people are more than ever disconnected from one another due to the COVID-19 pandemic.

Editors and Affiliations

  • University of Lille, Lille, France

    Liesbeth De Mol

  • Vakgroep Wiskunde, Ghent University, Ghent, Belgium

    Andreas Weiermann

  • University of Göttingen, Göttingen, Germany

    Florin Manea

  • Ghent University, Ghent, Belgium

    David Fernández-Duque

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation