### Papers accepted for LNCS proceedings

- Klaus Ambos-Spies, Ulrike Brandt and Martin Ziegler. Real Benefit of Promises and Advice
- John Case and Michael Ralston. Beyond Rogers’ Non-Constructively Computable Function
- Julien Cervelle. Constructing continuous systems from discrete cellular automata
- Ferdinando Cicalese, Gennaro Cordasco, Luisa Gargano, Martin Milanic and Ugo Vaccaro. Latency-Bounded Target Set Selection in Social Networks
- Riccardo Dondi and Nadia El-Mabrouk. Aligning and Labeling Genomes Under the Duplication-Loss Model
- Thomas Dueholm Hansen and Rasmus Ibsen-Jensen. The complexity of interior point methods for solving discounted turn-based stochastic games
- Johanna N.Y. Franklin, Asher M. Kach, Russell Miller and Reed Solomon. Local Computability for Ordinals
- Makoto Fujiwara and Keita Yokoyama. A note on the strength of sequential version of statements
- Ziyuan Gao, Sanjay Jain and Frank Stephan. On conservative learning of recursively enumerable languages
- Anthony Gasperin. Topology of Asymptotic Cones and Non-Deterministic Polynomial Time Computations
- Alexander Gavruskin and Bakhadyr Khoussainov. On decidable and computable models of theories
- Pawel Gawrychowski, Florin Manea and Dirk Nowotka. Discovering Hidden Repetitions in Words
- Daniela Genova. Language Forbidding-Enforcing Systems Defining DNA Codewords
- Miha Habič. Cardinal-Recognizing Infinite Time Turing Machines
- Alexander Kartzow and Philipp Schlicht. Structures without Scattered-Automatic Presentations
- Krishna S, Marian Gheorghe and Ciprian Dragomir. Some Classes of Generalised Communicating P Systems and Simple Kernel P Systems
- Stephane Le Roux and Arno Pauly. Closed choice for finite and for convex sets
- Robert Lubarsky and Michael Rathjen. Realizability Models Separating Various Fan Theorems
- Alexander G. Melnikov and Andre Nies. The classification problem for compact computable metric spaces
- Giovanni Pardini, Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo and Simone Tini. A Compositional Semantics of Reaction Systems with Restriction
- Mikhail Peretyatkin. The Tarski-Lindenbaum algebra of the class of all strongly constructivizable countable saturated models
- Nicolas de Rugy-Altherre. Determinant versus Permanent: salvation via generalization?
- Benjamin Seyfferth and Tim Fischbach. On -definable functions on ordinals
- Ivan Soskov. A note on -jump inversion of degree spectra of structures
- Alexey Stukachev. On Processes and Structures
- Stefan Vatev. Another Jump Inversion Theorem for Structures

### Contributions accepted for presentation

- Stefania Costantini and Federico Gobbo. A History of Autonomous Agents: from Thinking Machines to Machines for Thinking
- Takayuki Kihara and Kenshi Miyabe. Lowness for uniform Kurtz randomness
- Clayton Peterson. Formal Philosophy and Legal Reasoning: The validity of legal inferences
- Giuseppe Primiero. A Modal Type System for Error Handling
- Nikhil Balaji and Samir Datta. Collapsing Exact Arithmetic Hierarchies
- Anderson De Araújo. Incomputability in quantum systems
- Alexander Gavruskin, Sanjay Jain, Bakhadyr Khoussainov and Frank Stephan. Graphs realised by r.e. equivalence relations
- Mike Domaratzki and Ryan Zier-Vogel. RNA pseudoknot prediction through stochastic conjunctive grammars
- Luca Crociani, Lorenza Manenti, Giuseppe Vizzari and Stefania Bandini. Modelling Social Interactions in Crowds of Pedestrians
- Alla Sirokofskich. Decidability and the multiplicative structure of positive rationals together with the `greatest common divisor’
- Sam Sanders. The double negation translation in Nonstandard Constructive Analysis
- Joseph Davidson and Greg Michaelson. Brute Force is not Ignorance
- Slimane Bellaouar, Hadda Cherroun and Djelloul Ziadi. Efficient Computation of the Gap-Weighted Subsequence Kernel
- Mathilde Noual and Sylvain Sené. Sensitivity to Synchronism of Boolean Automata Networks
- Arthur Milchior. Undecidability of satisfiability of expansion of \FO[<] with a Semilinear Non Regular Predicate over words.
- Mustafa Demirci. An Extended Fundamental Duality of Partially Ordered Sets and Its Applications
- Barry Richards. Artificial Intelligence: Beyond Turing’s legacy
- Shibashis Guha, Krishna S, Chinmay Narayan and S. Arun-Kumar. A Unifying Approach to Decide Timed Relations for Timed Automata and their Game Characterization
- Bernard Molyneux. Passive Computation and the Power of Inactivity: How to Get a Brain to Compute without Firing its Neurons
- Paolo Bottoni and Anna Labella. Reaction systems with constrained environment
- Giovanni Di Crescenzo. Non-Interactive Extractability Assumptions
- Yen Hung Chen. The Bottleneck Selected-Internal Steiner Tree Problem: Hardness and Approximation
- Tamás Mihálydeák and Zoltán Ernő Csajbók. A Species Distribution Framework Relying on Membrane Computing with Boundaries
- Kenichiro Shimura, Stefania Bandini and Katsuhiro Nishinari. Modelling and Analysis of the Spiral Motion of Pedestrians via Cellular Automata
- Frank Faries. Toward a Unified View of Computation in Neural Systems: A Reply to Shagrir and Piccinini
- Joaquín Díaz Boils and José Pedro Úbeda Rives. A Kripke Model for Subrecursion.
- Alessia Visconti, Roberto Esposito, Raffaele A. Calogero and Francesca Cordero. An integrated approach for pharmacogene discovery
- Merlin Carl. Towards a Church-Turing-Thesis for Infinitary Computations
- Mario Rasetti and Emanuela Merelli. Quantum Information, Topology, Formal Languages: a categorical view
- Giuseppe Sergioli and Roberto Leporini. Interpreting knowledge by Quantum Channels
- Ujjal Marjit. Aggregated Similarity Optimization in Ontology Alignment through Multiobjective Particle Swarm Optimization
- Velislava Stoykova. Formal Representations of Pronouns Using Universal Networking Language
- Guido Fiorino. How to reduce backtracking in propositional intuitionistic logic
- Shira Zucker. The -distance anticoloring Problem
- Mark Burgin and Gordana Dodig Crnkovic. The Nature of Computation and The Development of Computational Models
- Pierre Guillon and Charalampos Zinoviadis. Hierarchy and Expansiveness
- Paulin Jacobé De Naurois. Petri Nets With Split/Join Transitions: A Covering Theorem
- Petrica Pop and Oliviu Matei. A Memetic Algorithm for Solving the Generalized Vehicle Routing Problem

### Abstracts accepted for presentation

- Pieter Adriaans and Amos Golan. On Information Conservation and Algorithmic Complexity
- Stephanie Dick. Following Mathematics into the Digital: A Historical Exploration of as Early Automated Theorem Proving Program
- Alessandro Facchini and Paula Quinon. Two Roles of Logic in Computer Science
- Vladimir Aristov and Andrey Stroganov. Constructing solutions for systems of nonlinear differential equations using method of computer analogy
- Imran Khaliq and Gulshad Imran. Constructing Strategies in a Subclass of Muller Games
- Katie Barr and Viv Kendon. Formal languages analysed by quantum walks
- Ella Gale, Ben Costello and Andy Adamatzky. The Use of Memristors in Nature-Inspired Computation
- Luca Bellotti. Turing machines and predictability
- Roohola Ramzani. Through Divergent Norms: Satisfying a Realistic Model of Rationality
- Anahit Chubaryan and Armen Mnatsakanyan. On some new propositional proof systems
- Andrey Sariev and Hristo Ganchev. Definability in the local theory of the $\omega$-enumeration degrees
- Paola Zizzi and Eliano Pessa. Quantum computation on the fuzzy sphere
- Frank Coyle. Computation, A Process-Based Perspective
- Jason Rute. Schnorr randomness for noncomputable measures
- Juliana Silva Bernardes, Gerson Zaverucha, Catherine Vaquero and Alessandra Carbone. Combining multiple evolutionary models and machine learning for protein domain identification
- Alberto Marcone. Reverse Mathematics of posets: decomposing initial intervals
- Emanuele Frittaion. Reverse Mathematics of posets: counting initial intervals
- Marcin J. Schroeder. The Nature of Natural Computation: Dynamics of Autonomous Natural Information Systems
- Santiago Hernández Orozco, Francisco Hernández Quiroz and Hector Zenil. Sparse Distribution of Proving Speed-up in Random Systems of Propositional Calculus.
- Anna Bernasconi, Valentina Ciriani, Gabriella Trucco and Tiziano Villa. Compact Representation of Logic Functions using Boolean Relations
- Mitko Yanchev. Part restrictions in Description Logics with union and counting

constructors - Torben Braüner. Hybrid-Logical Proofs: With an Application to False-Belief Tasks
- Andrew Chester, Riccardo Dondi and Anthony Wirth. Resolving Rooted Triplet Inconsistency by Dissolving Multigraphs
- Keita Yokoyama. On the strength of Ramsey’s theorem without Sigma_1-induction
- Kojiro Higuchi. Minimal Essential Undecidability of Theories of Concatenations
- David Gamez. Are there Computational Correlates of Consciousness in the Brain?
- Elvira Mayordomo. Effective dimension in general metric spaces and applications
- Marat Nurizinov and Rustem Tyulyubergenev. On computable subgroups of the group of all unitriangular matrices over a ring
- Edgar Daylight. Programming in the 1950s in 5 Pictures
- Naohi Eguchi. Characterising Complexity Classes by Inductive Definitions in Bounded Arithmetic
- Eyvind Martol Briseid. Extracting computational content from proofs in nonstandard analysis
- Dan Hernest and Trifon Trifonov. Light modal Dialectica interpretation
- Laurent Bienvenu and Christopher Porter. Strong Difference Randomness
- Benjamin Rin. On Set-Theoretic and Transfinite Analogues of Epistemic Arithmetic and Flagg Consistency
- Alexey Stukachev. On some properties of $s\Sigma$-reducibility
- Yiqi Deng and Peter J. Bentley. Dynamic Learning based on an Artificial Immune System using Systemic Computation
- Alan Perotti, Guido Boella and Artur D’Avila Garcez. Combining Runtime Verification and Property Adaptation through Neural-Symbolic Integration
- Antoine Taveneaux, Laurent Bienvenu and Christopher Porter. Randomized algorithms to compute completions of Peano arithmetic.
- Akitoshi Kawamura and Kenshi Miyabe. Polynomial-time randomness and

differentiability - Paola Bonizzoni, Anna Paola Carrieri, Gianluca Della Vedova, Riccardo Dondi and Gabriella Trucco. Graph based reconstruction of the Persistent Perfect Phylogeny
- Jeroen Van der Meeren. Ordinal and Proof-theoretical Strength of Tree-like Structures with Friedman-style Gap Condition
- Andrew Marks. Uniformity and degree invariant constructions
- Helena Durnova. Fault-tolerance as the most important feature of SAPO and EPOS computers
- Rudolf Freund. Control Mechanisms and the Number of Catalysts Needed for Computational Completeness in (Purely) Catalytic P Systems
- Ludovic Patey, Laurent Bienvenu and Paul Shafer. Rainbow Ramsey theorem for

pairs

### CiE2013 Policy

For each accepted contribution (paper appearing in the LNCS proceedings, or contribution accepted for presentation) at least one of the authors must register and attend the conference to present the work, otherwise the paper will not be included in the conference program and the conference proceedings.