8th WORKSHOP ON MEMBRANE COMPUTING, WMC8
Thessaloniki, Greece, June 25-28, 2007
Monday, June 25
| 9.00 - 9.50: |
Registration |
| 9.50 - 10.00: |
Opening |
| 10.00 - 11.00: |
L. Bianco (invited talk): Psim - A computational platform for metabolic P systems |
| 11.00 - 11.30: |
Coffee break |
|
|
| SESSION I |
11:30-13:30 |
| Chair: |
TBA |
| 11.30 - 12.00: |
F. Bernardini, M. Gheorghe, F.J. Romero-Campero, N. Walkinshaw,
A hybrid approach to modelling biological systems [download] |
|
| 12.00 - 12.30: |
T. Hinze, S. Hayat, T. Lenser, N. Matsumaru, P. Dittrich,
Hill kinetics meets P systems: A case study on gene regulatory networks as computing agents in silico and in vivo [download] |
|
|
| 12.30 - 12.50: |
D. Diaz-Pernil, M.A. Gutierrez-Naranjo, M.J. Perez-Jimenez, A. Riscos-Nunez,
A cellular solution to subset sum using division of non-elementary membranes and dissolution, with time and initial resources bounded by log k [download] |
|
|
| 12.50 - 13.10: |
A. Alhazov, Y. Rogozhin,
Skin output in P systems with minimal symport/antiport and two membranes |
|
| 13.10 - 13.30: |
E. Csuhaj-Varju, G. Vaszil, P systems with string objects and with communication by request [download] |
|
|
|
| 13.30 - 14.30: |
Lunch |
|
|
| SESSION II |
14:30-16:00 |
| Chair: |
TBA |
| 14.30 - 15.00: |
A. Leporati, C. Zandron, C. Ferretti, G. Mauri,
Solving numerical NP-complete problems with spiking neural P systems [download] |
|
| 15.00 - 15.20: |
C. Bonchis, C. Izba sa, G. Ciobanu, Information theory over multisets [download] |
| 15.20 - 15.40: |
N. Murphy, D. Woods, Active membrane systems without charges and using only symmetric elementary division characterise P [download] |
|
| 15.40 - 16.00: |
M. Ionescu, D. Sburlan, Some applications of spiking neural P systems [download] |
|
|
| 16.00 - 16.30: |
Coffee break |
|
|
| SESSION III |
16:30-17:50 |
| Chair: |
TBA |
| 16.30 - 16.50: |
A. Paun, A. Rodriguez-Paton, On flip-flop membrane systems with proteins [download] |
| 16.50 - 17.10: |
J. Kelemen, Plain talk about language-theoretic models of multi-agent systems [download] |
|
| 17.10 - 17.30: |
M. Umeki, Y. Suzuki, Direct simulation of the Oregonator model by using a class of P systems [download] |
| 17.30 - 17.50: |
H. Ramesh, R. Rama, Rewriting P systems with conditional communication: improved hierarchies |
|
Tuesday, June 26
| 10.00 - 11.00: |
P. Frisco (invited speaker): Advances in Modeling the Dynamics of HIV Infection with Conformon-P Systems [download] |
| 11.00 - 11.30: |
Coffee break |
|
|
| SESSION IV |
11:30-13:30 |
| Chair: |
TBA |
| 11.30 - 12.00: |
L. Bernadinello, N. Bonzanni, M. Mascheroni, L. Pomello,
Modelling symport/antiport P systems with a class of hierarchical Petri nets |
|
| 12.00 - 12.30: |
T. Mazza, Towards a complete covering of SBML functionalities [download] |
| 12.30 - 12.50: |
P. Frisco, Conformon-P systems with negative values [download] |
| 12.50 - 13.10: |
D. Molteni, C. Ferretti, G. Mauri, Frequency membrane systems [download] |
| 13.10 - 13.30: |
R. Freund, S. Verlan, A formal framework for P systems |
|
|
| 13.30 - 14.30: |
Lunch |
| 14.30 - ??.??: |
Tourist program |
Wednesday, June 27
| 10.00 - 11.00: |
A. Leporati (invited talk): Quantum (UREM) P systems: Background, definition and computational power [download] |
| 11.00 - 11.30: |
Coffee break |
|
|
| SESSION V |
11:30-13:30 |
| Chair: |
TBA |
| 11.30 - 12.00: |
G. Delzanno, L. Van Begin, On the dynamics of PB systems with volatile membranes [download] |
| 12.00 - 12.30: |
I. Stamatopoulou, P. Kefalas, M. Gheorghe, OPERASCC: An instance of a formal framework for MAS modelling based on population P systems [download] |
|
| 12.30 - 12.50: |
M. Cardona, M.A. Colomer, M.J. Perez-Jimenez, A. Zaragoza, Hierarchical clustering with membrane computing [download] |
|
| 12.50 - 13.10: |
R. Ceterchi, M.J. Perez-Jimenez, A.I. Tomescu, Simulating the bitonic sort on a 2D-mesh with P systems |
|
| 13.10 - 13.30: |
A. Obtulowicz, Multigraphical membrane systems: a visual formalism for modeling complex systems in biology and evolving neural networks |
|
|
|
| 13.30 - 14.30: |
Lunch |
|
|
| SESSION VI |
14:30-16:00 |
| Chair: |
TBA |
| 14.30 - 15.00: |
V. Nguyen, D. Kearney, G. Gioiosa, Balancing performance, flexibility and scalability in a parallel computing platform for membrane computing applications |
|
| 15.00 - 15.20: |
B. Aman, G. Ciobanu, On the reachability problem in P systems with mobile membranes [download] |
| 15.20 - 15.40: |
J.A. Tejedor, L. Fernandez, F. Arroyo, G. Gomez, Algorithm of rules applications based on competitivness of evolution rules [download] |
|
| 15.40 - 16.00: |
A. Gutierrez, F. Fernandez, F. Arroyo, G. Bravo, Optimizing membrane system implementation with multisets and evolution rules compression [download] |
|
|
|
| 16.00 - 16.30: |
Coffee break |
| 16.30 - 17.30: |
Gh. Stefan (invited speaker): Membrane computing in Connex environment [download] |
| 17.30 - 19.00: |
EMCC annual meeting, CellCom proposal, presentation of WMC9 venue, other MC matters |
Thursday, June 28
| 10.00 - 11.00: |
A. Maggiolo-Schettini (invited talk): The calculus of looping sequences for modeling biological membranes [download] |
|
| 11.00 - 11.30: |
Coffee break |
|
|
| SESSION VII |
11:30-13:30 |
| Chair: |
TBA |
| 11.30 - 12.00: |
N. Busi, Causality in membrane systems [download] |
| 12.00 - 12.30: |
G. Ciobanu, D. Lucanu, What is an event for membrane systems? [download] |
| 12.30 - 12.50: |
J.M. Sempere, D. Lopez, Characterizing membrane structures through multiset tree automata [download] |
|
| 12.50 - 13.10: |
L. Cienciala, L. Ciencialova, A. Kelemenova, On the number of agents in P colonies [download] |
| 13.10 - 13.30: |
G. Ciobanu, M. Gontineac, Networks of Mealy multiset automata |
|
|
| 13.30 - 13.35: |
Closing |
| 13.35 - 15.00: |
Lunch |
| 15.00 - 18.00: |
Joint work |
|
| webpage