DCM 2013 Programme

Monday 26th August 2013

Time Event
08:55-09:00 Welcome
09:00-10:00 Invited Talk: Turing's Normal Numbers: Towards Randomness
Verónica Becher
10:00-10:30 Coffee Break
10:30-11:00 The probability of non-confluent systems
Alejandro Díaz-Caro and Gilles Dowek
11:00-11:30 Proof-graphs for Minimal Implicational Logic
Marcela Quispe-Cruz and Edward Hermann Haeusler
11:30-12:00 Prefix Orders as a General Model of Dynamics
Pieter Cuijpers
12:00-12:30 Causal Dynamics of Simplicial Complexes: the 2-dimensional case
Pablo Arrighi and Simon Martiel
12:30-14:00 Lunch
14:00-15:00 Invited Talk: Quiz games: a new approach to information hiding based algorithms in scientific computing
Joos Heintz
15:00-15:30 A Calculus of Located Entities
Adriana Compagnoni, Paola Giannini, Catherine Kim, Matthew Milideo and Vishakha Sharma
15:30-16:00 Coffee Break
16:00-16:30 Towards Formal, Interaction-based Models of Grid Computing Infrastructures
Carlos Ramirez, Jorge A. Pérez, Jesus Aranda and Juan F. Diaz
16:30-17:00 Using HMM in Strategic Games
Mario Benevides, Isaque Lima, Pedro Rougemont and Rafael Nader