Accepted Papers for Presentation
--------------------------------

Bogdan Aman, Mariangiola Dezani and Angelo Troina. Type Disciplines for Analysing Biologically Relevant Properties

Richard Banks, Victor Khomenko and Jason Steggles. A Case for Using Signal Transition Graphs for Analysing and Refining Genetic Networks 

Roberto Barbuti, Andrea Maggiolo Schettini, Paolo Milazzo and Luca Tesei. Timed P Automata  

Federica Ciocchetta and Maria Luisa Guerriero. Modelling biological compartments in Bio-PEPA

Florentin Ipate and Marian Gheorghe. Testing Non-deterministic Stream X-machine models and P systems

Muskan Kukreja and Manish Kumar Gupta. Stochastic pi simulations of few RNA-interference models and its dynamics and efficacy as anti-viral treatment against HIV-1

Tommaso Mazza and Matteo Cavaliere. Cell Cycle and Tumor Growth in Membrane Systems with Peripheral Proteins

Andrew Phillips. A Correct Abstract Machine for the Stochastic Bioambient calculus

Thomas Anung Basuki, Antonio Cerone and Paolo Milazzo. Translating Stochastic CLS into MAUDE 

G. Michele Pinna and Andrea Saba. An event based semantics of P-Systems

Filippo Del Tedesco and Carla Piazza. External Control in Process Algebra for System Biology 

Work in progress:  Chiara Bodei et.al.  Control Flow Analysis for Brane Calculi