Tentative Program / 8th September 2012 / Newcastle

09:00 - 09:20 Registration
09:20 - 09:30 Opening (PC chair: Gabriel Ciobanu)
09:30-10:30 Invited Talk: Maciej Koutny.

Petri Net Synthesis and Membrane Systems.

10:30-11:00 Coffee Break
11:00-11:30 Marino Miculan and Ilaria Sambarino.

Implementing the Stochastic Brane Calculus in a Generic Stochastic Abstract Machine.

11:30-12:00 Margarita Antonaki and Anna Philippou.

A Process Calculus for Spatially-explicit Ecological Models.

12:00-12:30 Adriana Compagnoni, Mariangiola Dezani-Ciancaglini, Paola Giannini, Karin Sauer, Vishakha Sharma and Angelo Troina.

Parallel BioScape: A Stochastic and Parallel Language for Mobile and Spatial Interactions.

12:30-14:00 Lunch
14:00-15:00 Invited Talk: Vincent Danos.

Coarse-Graining the Dynamics of Ideal Branched Polymers.

15:00-15:30 Coffee Break
15:30-16:00 Peter Drabik, Andrea Maggiolo Schettini and Paolo Milazzo.

Towards Modular Verification of Pathways: Fairness and Assumptions.

16:00-16:30 Adrien Basso-Blandin and Franck Delaplace.

GUBS, a Behavior-based Language for Open System Dedicated to Synthetic Biology.

16:30-17:00 Erik De Vink, Hans Zantema and Dragan Bosnacki.

Combining Insertion and Deletion in RNA-editing Preserves Regularity.

17:00-17:30 Masahiro Hamano.

RNA Interference and Register Machine.