Timeless Machines: Computability Across Eras
22nd Conference on Computability in Europe, CiE 2026, Trier, Germany, July 27–31, 2026, Proceedings
Buch in deiner Nähe kaufen
Beschreibung
This book constitutes the refereed proceedings of the 22nd Conference on Timeless Machines: Computability Across Eras, CiE 2026, held in Trier, Germany, during July 27–31, 2026.
The 30 full papers included in this book were carefully reviewed and selected from 57 submissions. The conference had six special sessions: Learning Theory Meets Computability Theory; Groups and Computability; At the Borderline of Universality; Natural Computation and Bioinformatics; Quantum Computing and Information; and the History and Philosophy of Computing.
Additionally the main proceedings includes 6 full papers and the front matter contains 16 abstracts that derive from the invited talks, tutorials, and special sessions.
Autor*in
Vasco Brattka
Themen in »Timeless Machines: Computability Across Eras«
computability theory algorithmic randomness computable structure theory learning theory epistemic logics complexity theory reverse mathematics proof theory proof mining evolutionary biology quantum computation higher computability automata graph theory symbolic dynamics