A formalization and Proof of the Extended Church-Turing Thesis. Nachum Dershowitz and Evgenia Falkovich

On the information-theoretic structure of the distributed measurements. David Balduzzi

On the existence of Universal Finite or Pushdown Automata. Manfred Kudlek and Georg Zetzsche

Probabilistic Monads, Domains and Classical Information. Michael Mislove

The Generic Model of Computation. Nachum Dershowitz

Completeness of algebraic CPS simulations. Ali Assaf and Simon Perdrix

A type System for the Vectorial Aspect of the Linear-Algebraic Lambda-Calculus. Pablo Arrighi, Alejandro Díaz-Caro and Benoît Valiron

A Calculus of Looping Sequences with Local Rules. Livio Bioglio, Mariangiola Dezani-Ciancaglini, Paola Giannini and Angelo Troina

The following papers have been selected by the program committee for presentation at DCM 2011