DCM 2015: Preliminary Program

Wednesday 28th October 2015

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