| Time | Event |
|---|---|
| 08:50-09:00 | Welcome |
| 09:00-10:00 |
Invited Talk: Discrete version of
special and general relativistic trajectories Gilles Dowek (joint work with Pablo Arrighi) |
| 10:00-10:30 | Coffee Break |
| 10:30-11:00 |
A knowledge representation meta-model for rule-based modelling of
signaling networks Adrien Basso-Blandin, Walter Fontana and Russ Harmer |
| 11:00-11:30 |
Finiteness and Computation in Toposes Edward Hermann Haeusler |
| 11:30-12:00 |
Mean Field Semantics for a Process Calculus for Spatially-Explicit Ecological Models Mauricio Toro-Bermudez, Anna Philippou, Sair Arboleda, Maria Puerta and Carlos Vélez |
| 12:00-14:00 | Lunch |
| 14:00-15:00 |
Invited Talk: Formalising Confluence Mauricio Ayala-Rincón |
| 15:00-15:30 | Coffee Break |
| 15:30-16:30 |
Invited Talk: Compositional model checking of concurrent systems, with Petri nets Pawel Sobocinski (joint work with Julian Rathke and Owen Stephens) |
| 16:30-17:00 |
A New Encoding for Efficient Generation, Ranking and Unranking of
Semi-Chemical Trees Mahdi Amani and Abbas Nowzari-Dalini |