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 | |