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