9th Workshop on Membrane Computing, WMC9
Edinburgh (UK), July 28-31, 2008
Text Only

Sponsors

EPSRC

MACS at Heriot-Watt University
School of Mathematical and Computer Sciences (MACS)


International Journal on Natural Computing
International Journal on Natural Computing


Oxford University
				Press
Oxford University Press


Scottish Bioinformatics Forum
Scottish Bioinformatics Forum
The workshop will take place in the Earl Mountbatten Building, Riccarton campus in Edinburgh.
Specifically: the main lecture room will be room 3.36, the talk of Prof. S. Wolfram will be held in room 1.27, coffee breaks will take place in room 3.02.

WORKSHOP PROGRAMME (AT A GLANCE):

Monday 28

Tuesday 29

Wednesday 30

Thursday 31

Opening      

SESSION 1

SESSION 3

SESSION 5

SESSION 7

Dr. F. Romero-Campero
(invited speaker)

Prof. V. Danos
(invited speaker)

Prof. D. Gilbert
(invited speaker)


regular talks

Coffee break

Coffee break

Coffee break

Coffee break

regular talks

regular talks

regular talks

regular talks

Lunch

Lunch

Lunch

Awards ceremonies

SESSION 2

SESSION 4

SESSION 6

Closing

Prof. P. Hogeweg
(invited speaker)

Dr. M. Kirkilionis
(invited speaker)

regular talks

Lunch

Coffee break

Coffee break

Coffee break

Tour of Edinburgh

regular talks

regular talks

Prof. S. Wolfram
(invited speaker)

 

EMCC meeting

Open discussion

 

 

Workshop dinner

 

 

DETAILED PROGRAMME:

Monday, July 28
08:30 - 09:20 Registration
09:20 - 09:30 Opening
SESSION 1 09:30-12:30
Chair: Prof. R. Freund
09:30 - 10:30 Dr. F. Romero-Campero (invited speaker)
A Multiscale Modelling Framework Based On P Systems
10:30 - 11:00 Coffee break
11:00 - 11:30 M. Gheorghe, F. Ipate
On testing P systems
11:30 - 12:00 A. Leporati, C. Zandron, G. Mauri
How redundant is your universal computing device?
12:00 - 12:30 O. Agrigoroaiei, G. Ciobanu
Dual P systems
12:30 - 14:30 Lunch
SESSION 2 14:30-17:30
Chair: Prof. G. Mauri
14:30 - 15:30 Prof. P. Hogeweg (invited speaker)
Multilevel modeling of morphogenesis
15:30 - 16:00 Coffee break
16:00 - 16:30 M. A. Gutierrez-Naranjo, M. J. Perez-Jimenez
A spiking neural P system based model for Hebbian learning
16:30 - 16:50 A. Alhazov, L. Burtseva, S. Cojocaru, Y. Rogozhin
Computing solutions of #P-complete problems by P systems with active membranes
16:50 - 17:10 J. M. Sempere
Translating multiset tree into P systems
17:10 - 17:30 V. Manca
Enumerating membrane structures

Tuesday, July 29
SESSION 3 09:30-12:30
Chair: Prof. F. Kamareddine
09:30 - 10:30 Prof. V. Danos (invited speaker)
A stochastic calculus of binding with applications to the modelling of cellular signalling
10:30 - 11:00 Coffee break
11:00 - 11:20 A. Castellini, V. Manca
MPlab - A computational framework for metabolic P systems
11:20 - 11:50 V. Manca, R. Pagliarini, S. Zorzan
Toward an MP model of non photochemical quenching
11:50 - 12:10 J. A. de Frutos, F. Arroyo, A. Arteta
Usefulness states in new P system communication architecture
12:10 - 12:30 D. K. Das
Simulation of membrane computing models (P systems) for secure mobile ad hoc networks
12:30 - 14:30 Lunch
SESSION 4 14:30 - 17:30
Chair: Prof. M. J. Perez-Jimenez
14:30 - 15:30 Dr. M. Kirkilionis (invited speaker)
Multi-Scale Modeling and Simulation of Cellular Membrane Transport and Reaction Systems
15:30 - 16:00 Coffee break
16:00 - 16:30 P. A. Abdulla, G. Delzanno, L. Van Begin
On the qualitative analysis of conformon P systems
16:30 - 17:00 A. Alhazov, M. Margenstern, S. Verlan
Fast synchronisation in P systems
17:00 - 17:30 V. Nguyen, D. Kearney, G. Gioiosa
A hardware implementation of nondeterministic, maximally parallel object distribution in P systems
17:30 - 18:00 EMCC meeting

Wednesday, July 30
SESSION 5 09:30-12:30
Chair: Prof. D. W. Corne
09:30 - 10:30 Prof. D Gilbert (invited speaker)
Modelling and analysing the dynamic behaviour of biochemical networks
10:30 - 11:00 Coffee break
11:00 - 11:20 M. Muskulus
Application of page ranking in P systems
11:20 - 11:40 P. Kefalas, I. Stamatopoulou, G. Eleftherakis, M. Gheorghe
Transforming state-based models to P systems models in practice
11:40 - 12:00 T.Y. Nishida, T. Shiotani, Y. Takahashi
Membrane algorithm solving job-shop scheduling problems
12:00 - 12:30 T. Hinze, R. Fassler, T. Lenser, N. Matsumaru, P. Dittrich
Event-driven metamorphoses of P systems
12:30 - 14:30 Lunch
SESSION 6 14:30-18:00
Chair: Dr. P. Frisco
14:30 - 15:00 J. Jack, A. Paun, A. Rodriguez-Paton
Effects of HIV-1 proteins on the Fas-mediated apoptotic signaling cascade: A computational study of latent CD+ T cell activation
15:00 - 15:30 M. Cardona, M. A. Colomer, M. J. Perez-Jimenez, D. Sanuy, A. Margalida
Modelling ecosystems using P systems. The bearded vulture, a case study
15:30 - 16:00 Coffee break
16:00 - 17:00 Prof. S. Wolfram (invited speaker)
The View from A New Kind of Science
17:00 - 17:20 Discussion between Prof. G. Paun and Prof. S. Wolfram
17:20 - 18:00 Open discusion
19:30 - ??:?? Workshop dinner

Thursday, July 31
SESSION 7 09:30-12:30
Chair: Ms. Van Nguyen
09:30 - 10:00 D. Diaz-Perlin, I. Perez-Hurtado, M. J. Perez-Jimenez, A. Riscos-Nunez
A P-lingua programming environment for membrane computing
10:00 - 10:30 T. Serbanuta, G. Stefanescui, G. Rosu
Defining and Executing P-systems with Structured Data in K
10:30 - 11:00 Coffee break
11:00 - 11:30 D. Pescini, P. Cazzaniga, C. Ferretti, G. Mauri
Toward a wet implementation for tau-DPP
11:30 - 11:50 A. Obtulowicz
On mathematical modeling of anatomical assembly, spatial features, and functional organization of cortex by application of hereditary finite sets
11:50 - 12:10 M. Beyreder, R. Freund
(Tissue) P systems using non-cooperative rules without halting conditions
12:10 - 12:30 M. Umeki, Y. Suzuki
Chemical reaction simulations using abstract rewriting systems on multisets with lattice Boltmann method
12:30 - 12:40 Best paper and Important Contributions to Membrane Computing awards ceremonies
12:40 - 12:50 Closing
12:50 - 14:30 Lunch
16:00 - 19:00 Tour of Edinburgh