Accepted papers

  1. Cyril Banderier and Massimiliano Goldwurm. Prefix of trace languages: 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. 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. Simulation of 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: The Context-free Case