Logic List Mailing Archive
MeCBIC 2008: Membrane Computing and Biologically Inspired Process Calculi, Iasi (Romania), 3-4 Sep 2008
MeCBIC 2008
2nd Int'l Meeting on Membrane Computing and
Biologically Inspired Process Calculi
3-4 September 2008, Iasi, Romania
http://www.info.uaic.ro/~mecbic
The 2nd MeCBIC Meeting will take place on 3rd and 4th of September 2008 in
Iasi, Romania. Besides the contributed papers, invited talks will be delivered
by Gheorghe Paun and Gianluigi Zavattaro. The main aim of the conference is to
bring together researchers working in membrane computing and in biologically
inspired process calculi (ambients, brane calculi, etc.) to present recent
results and to discuss new ideas concerning such formalisms, their properties
and relationships. We also celebrate 10 years of both ambients and membrane
systems.
Researchers and PhD students are encouraged to participate.
For more information, please visit http://www.info.uaic.ro/~mecbic and
http://www.info.uaic.ro/~mecbic/register.php
Tentative Programme
-------------------
Wednesday, 3 September 2008
8:30-9:10 Registration
9:10-9:20 Opening
9:20-10:30 Gianluigi Zavattaro (invited speaker)
Reachability Analysis in BioAmbients
10:30-11:15 Coffee break
11:15-11:50 Andrew Phillips
A Correct Abstract Machine for the Stochastic Bioambient calculus
11:50-12:25 Filippo Del Tedesco and Carla Piazza
External Control in Process Algebra for System Biology
12:25-13:00 Federica Ciocchetta and Maria Luisa Guerriero
Modelling biological compartments in Bio-PEPA
13:00-14:30 Lunch
14:30-15:05 Chiara Bodei, Andrea Bracciali and Davide Chiarugi
Control Flow Analysis for Brane Calculi
15:05-15:40 Thomas Anung Basuki, Antonio Cerone and Paolo Milazzo
Translating Stochastic CLS into MAUDE
15:40-16:15 Bogdan Aman, Mariangiola Dezani and Angelo Troina
Type Disciplines for Analysing Biologically Relevant Properties
16:15-16:45 Coffee break
16:45-17:20 Richard Banks, Victor Khomenko and Jason Steggles
A Case for Using Signal Transition Graphs for Analysing and
Refining Genetic Networks
17:20-17:55 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
19:00 - ... Sightseeing and conference dinner
Thursday, 4 September 2008
--------------------------
9:00-10:10 Gheorghe Paun (invited speaker)
An Introduction to Membrane Computing, After 10 Years,
by Means of a (Partial) Glossary
10:10-10:40 Coffee break
10:40-11:15 Florentin Ipate and Marian Gheorghe
Testing Non-deterministic Stream X-machine models and P systems
11:15-11:50 Tommaso Mazza and Matteo Cavaliere
Cell Cycle and Tumor Growth in Membranes with Peripheral Proteins
11:50-12:25 G. Michele Pinna and Andrea Saba
An Event Based Semantics of P Systems
12:25-13:00 Roberto Barbuti, Andrea Maggiolo Schettini, Paolo Milazzo,
Luca Tesei: Timed P Automata
13:00-15:00 Lunch
15:00- ... MeCBIC meeting (discussion on the 3rd MeCBIC)
. . .
Gabriel Ciobanu
--
=======================================================================
Faculty of Computer Science fax: +40 232 201490
A.I.Cuza University tel: +40 232 201090
700506 Iasi, Romania URL:http://www.info.uaic.ro/~gabriel
-----------------------------------------------------------------------