09:00 - 09:30 Invited Tutorial by Tomoyuki Moriame. Quantum information processing on tensor-network states

09:30 - 10:00 David Balduzzi. On the information-theoretic structure of distributed measurements

10:00 - 10:30 Coffee Break

10:30 - 11:30 Invited Talk by Matthias Christandl. Quantum Entanglement

11:30 - 12:00 Pablo Arrighi, Alejandro Daz-Caro and Benot Valiron. A Type System for the Vectorial Aspect of the Linear-Algebraic Lambda-Calculus

12:00 - 12:30 Ali Assaf and Simon Perdrix. Completeness of algebraic CPS simulations

12:30 - 14:00 Lunch Break

14:00 - 15:00 Invited Talk by Erwin Engeler. Algebras of the Brain

15:00 - 15:30 Nachum Dershowitz. The Generic Model of Computation

15:30 - 16:00 Nachum Dershowitz and Evgenia Falkovich. A Formalization and Proof of the Extended Church-Turing Thesis

16:00 - 16:30 Coffee break

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

17:00 - 17:30 Michael Mislove. Probabilistic Monads, Domains and Classical Information

17:30 - 18:00 Manfred Kudlek, Georg Zetzsche and Patrick Totzke. On the Existence of Universal Finite or Pushdown Automata