MeCBIC Program  / 5th September 2009
------------------------------------

9:00  Opening Ceremony (Gabriel Ciobanu)
      
      In Memoriam Nadia Busi (co-authors, colleagues and friends)

9:30  Invited Talk --  Luca Cardelli 

      Pi in the Sky: Spatial Process Algebra for Developmental Biology

10:30 - 11:00 Coffee Break

11:00 - 12:30  Session I
-------------

Federica Ciocchetta, Adam Duguid and Maria Luisa Guerriero. 
    A Compartmental Model of the cAMP/PKA/MAPK Pathway in Bio-PEPA

Francesca Levi and Roberta Gori. 
    Abstract Interpretation  for Probabilistic Termination of Biological Systems

Roberto Barbuti, Andrea Maggiolo Schettini, Paolo Milazzo, Giovanni Pardini, Aureliano Rama. 
    A Process Calculus for Molecular Interaction Maps

12:30 - 14:00 Lunch

14:00 - 15:30  Session II
-------------

Michael J. Dinneen, Radu Nicolescu and Yun-Bum Kim. 
    New Solutions to the Firing Squad Synchronization Problem for P Systems

Rudolf Freund and Marian Kogler. 
    Drip and Mate Operations Acting in Test Tube Systems and Tissue-like P Systems

Michele Pinna and Andrea Saba. 
    Dependencies and Simultaneity in Membrane Systems

15:30 - 16:00 Coffee Break

16:00 - 18:00  Session III
--------------

Giorgio Bacci, Davide Grohmann and Marino Miculan.
    Bigraphical Models for Protein and Membrane Interactions  +
    A Framework for Protein and Membrane Interactions

Mariangiola Dezani, Paola Giannini and Angelo Troina. 
    A Type System for a Stochastic CLS

Thomas Anung Basuki, Antonio Cerone and Rafael V. Carvalho. 
    Modelling Cell Cycle using Different Levels of Representation

Maria Pamela David, Johnrob Bantang and Eduardo Mendoza.
    Modeling Atonal Membrane Reactions with the Projective Brane Calculus PABM

--------------------------------------------------------