Accepted papers to appear in LNCS proceedings

  1. Cyril Banderier and Massimiliano Goldwurm. Number of prefixes in trace monoids: clique polynomials and dependency graphs
  2. Nikolay Bazhenov and Stefan Vatev. A Note on Computable Embeddings for Ordinals and Their Reverses
  3. Ulrich Berger, Olga Petrovska and Hideki Tsuiki. Prawf: An interactive proof system for Program extraction
  4. Antonio Boccuto and Arturo Carpi. Repetitions in Toeplitz words and the Thue threshold
  5. Manuel Bodirsky, Simon Knäuer and Florian Starke. ASNP: a tame fragment of existential second-order logic
  6. Matthew de Brecht. Some notes on spaces of ideals and computable topology
  7. Florian Bridoux, Maximilien Gadouleau and Guillaume Theyssier. On simulation in automata networks
  8. Merlin Carl. Clockability for Ordinal Turing Machines
  9. David Fernández-Duque and Andreas Weiermann. Ackermannian Goodstein sequences of intermediate growth
  10. Makoto Fujiwara. Parallelizations in Weihrauch reducibility and constructive reverse mathematics
  11. Zuzana Haniková. On the complexity of validity degrees in Łukasiewicz logic
  12. Sune Kristian Jakobsen and Jakob Grue Simonsen. Liouville Numbers and the Computational Complexity of Changing Bases
  13. Lars Kristiansen and Jakob Grue Simonsen. On the Complexity of Conversion between Classic Real Number Representations
  14. Lars Kristiansen and Juvenal Murwanashyaka. On Interpretability between some weak essential undecidable theories
  15. Martin Kutrib, Andreas Malcher, Carlo Mereghetti and Beatrice Palano. Deterministic and Nondeterministic Iterated Uniform Finite-State Transducers: Computational and Descriptional Power
  16. Stephane Le Roux. Time-aware uniformization of winning strategies
  17. Russell Miller. Non-coding enumeration operators
  18. Kévin Perrot, Sylvain Sené and Lucas Venturini. #P-completeness of counting update digraphs, cacti, and series-parallel decomposition method
  19. Iosif Petrakis. Functions of Baire class one over a Bishop topology
  20. Nicola Prezza and Giovanna Rosone. Faster Online Computation of the Succinct Longest Previous Factor Array
  21. Simone Rinaldi, Giulia Palma and Andrea Frosini. Combinatorial properties of degree sequences of 3-uniform hypergraphs arising from saind sequences
  22. Peter Schuster and Daniel Wessel. The Computational Significance of Hausdorff’s Maximal Chain Principle
  23. Martin Vu and Henning Fernau. Insertion-Deletion Systems With Substitutions I

Informal presentations

  1. Antonin Callard and Mathieu Hoyrup. Descriptive complexity on non-Polish spaces.
  2. Vittorio Cipriani. Learning algebraic structures bounding the number of mistakes.
  3. Tonicha Crook. The Weihrauch degree of finding Nash Equilibria in multiplayer games.
  4. Valentino Delle Rose. Word Problem and Ceers.
  5. Michał Tomasz Godziszewski and Luca San Mauro. Quotient structures, philosophy of computability theory and computational structuralism.
  6. Ivan Adrian Koswara, Gleb Pogudin, Svetlana Selivanova and Martin Ziegler. Complexity of Linear PDEs: Iterative vs. Analytic Series Approach
  7. Patrick Lutz and Benjamin Siskind. Part 1 of Martin’s Conjecture for Order Preserving Functions.
  8. Janos Makowsky. Congruences for Combinatorial Counting Functions.
  9. Sarah Reitzes, Damir Dzhafarov and Denis Hirschfeldt. Reduction games, provability, and compactness.
  10. Sam Sanders. On the logical and computational properties of the uncountable.
  11. Alberto Termine and Giuseppe Primiero. Computational Logic for Uncertain Reasoning on Stochastic Systems.
  12. Manlio Valenti. Finding descending sequences in ill-founded linear orders.
  13. James Walsh and Patrick Lutz. Incompleteness and jump hierarchies.
  14. Andreas Weiermann. Goodstein principles and notation systems for natural numbers.
  15. Linda Westrick. The recursion theorem in the Weihrauch lattice.