| Claudio Angione, Giovanni Carapezza, Jole Costanza, Pietro Lio and Giuseppe Nicosia | Computing with Metabolic Machines |  |
| Joscha Bach and Mario Verdicchio | What kind of machine is the mind? | |
| Israel Belfer | The Info-Computation Turn in Physics | |
| Fouad Chedid | On Natural Representations of Objects | |
| Edgar G. Daylight | Turing's Influence on Programming | |
| Martin Escardo and Paulo Oliva | Computing Nash Equilibria of Unbounded Games | |
| Michael Stephen Fiske | Turing Incomputable Computation | |
| Jeroen Fokker | The chess example in Turing's Mind paper is really about ambiguity | |
| Rusins Freivalds | Ultrametric automata and Turing machines | |
| Anthony J. Genot, Teruo Fujii and Yannick Rondelez | Molecular computations with competitive neural networks that exploit linear and nonlinear kinetics | |
| Laszlo Gyongyosi and Sandor Imre | Secure Communication over Zero-Private Capacity Quantum Channels | |
| Laszlo Gyongyosi and Sandor Imre | On the Mathematical Boundaries of Communication with Zero-Capacity Quantum Channels | |
| Jose Hernandez-Orallo, Javier Insa, David Dowe and Bill Hibbard | Turing Tests with Turing Machines | |
| Tsan-Sheng Hsu, Churn-Jung Liau and Da-Wei Wang | Logic, Probability, and Privacy: A Framework for Specifying Privacy Requirements | |
| Cornelis Huizing, Ruurd Kuiper and Tom Verhoeff | Generalizations of Rice's Theorem, Applicable to Executable and Non-Executable Formalisms | |
| Hadi Katebi, Karem A. Sakallah and Igor L. Markov | Graph Symmetry Detection and Canonical Labeling: Differences and Synergies | |
| Jozef Kelemen | A Note on Turing’s Three Pioneering Initiatives and on Their Interplays | |
| Daniel Leivant | Alternating Turing machines and the analytical hierarchy | |
| Jerome Leroux | Vector Addition Systems Reachability Problem (A Simpler Solution) | |
| Shaoying Liu | Utilizing Hoare Logic to Strengthen Testing for Error Detection in Programs | |
| Rao Mikkilineni, Albert Comparini and Giovanni Morana | The Turing O-Machine and the DIME Network Architecture: Injecting the Architectural Resiliency into Distributed Computing | |
| Cristian Prisacariu | The Glory of the Past and Geometrical Concurrency | |
| Frederic Prost | On the Impact of Information Technologies on Society: an Historical Perspective through the Game of Chess | |
| Yun Shang, Xian Lu and Ruqian Lu | The computing power of Turing machine based on quantum logic | |
| Qiang Shen, Ren Diao and Pan Su | Feature Selection Ensemble | |
| Mikhail Soutchanski and Wael Yehia | Towards an Expressive Practical Logical Action Theory | |
| Sorin Stratulat | A Unified View of Induction Reasoning for First-Order Logic | |
| Omri Tal | Towards an Information-Theoretic Approach to Population Structure | |
| Tony Veale | The Soul of a New Cliché: Conventions and Meta-Conventions in the Creative Linguistic Variation of Familiar Forms | |
| Irina Virbitskaite, Natalya Gribovskaya and Eike Best | Unifying Equivalences for Timed Transition Systems | |
| Peter Wegner, Eugene Eberbach and Mark Burgin | Computational Completeness of Interaction Machines and Turing Machines | |
| Graham White | The Frame Problem and the Semantics of Classical Proofs | |
