|
|
|
|
|
|
|
Tuesday, 23 August 2011 |
|
|
|
|
9:00-9:30 |
Registration |
|
|
9:30-10:00 |
Opening ceremony |
|
|
10:00-12:30 |
Session 1: chair TBA |
|
|
10:00-11:00 |
Invited talk: Jacob Beal, Bringing Biology and Engineering Together with Spatial Computing |
|
|
11:00-11:30 |
Coffee break & Registration |
|
|
11:30-12:30 |
Invited talk: workshop |
|
|
12:30-14:00 |
Lunch |
|
|
14:00-16:00 |
Session 2: chair TBA |
|
|
14:00-14:30 |
Gerd Gruenert, Gabi Escuela, Peter Dittrich and Thomas Hinze. Morphological Algorithms: Membrane Receptor-ligand Interactions and Rule-based Molecule Graph Evolution for Exact Set Cover Problem |
|
|
14:30-15:00 |
Thomas Hinze, Christian Bodenstein, Benedict Schau, Ines Heiland and Stefan Schuster. Chemical Analog Computers for Clock Frequency Control Based on P Modules |
|
|
15:00-15:30 |
Luca Marchetti and Vincenzo Manca. A methodology based on MP theory for gene expression analysis |
|
|
15:30-16:00 |
Luis F. Macías-Ramos, Ignacio Perez-Hurtado, Manuel García-Quismondo, Luis Valencia-Cabrera, Mario J. Pérez-Jiménez and Agustín Riscos-Núñez. A P-Lingua based Simulator for Spiking Neural P Systems |
|
|
16:00-16:30 |
Coffee break |
|
|
16:30-18:20 |
Session 3: chair TBA |
|
|
16:30-17:00 |
Florentin Ipate, Raluca Lefticaru, Ignacio Perez-Hurtado, Mario Perez-Jimenez and Cristina Tudose. Formal Verification of P Systems with Active Membranes through Model Checking |
|
|
17:00-17:20 |
Xiaoli Huang, Gexiang Zhang and Florentin Ipate. Evolutionary Design of a Simple Membrane System |
|
|
17:20-17:40 |
Kamala Krithivasan and Ajeesh Ramanujan. Matrix Representation of Spiking Neural P Systems with delay |
|
|
17:40-18:00 |
Padmavati Metta, Kamala Krithivasan and Deepak Garg. Simulation of Spiking Neural P Systems using Pnet Lab |
|
|
18:00-18:20 |
Galina Magariu, Tatiana Verlan and Veaceslav Macari. Simulation of P systems with string objects |
|
|
|
|
Wednesday, 24 August 2011 |
|
|
|
|
9:00-10:00 |
Invited talk: Jean-Louis Giavitto, The Modeling and the Simulation of the Fluid Machines of Synthetic Biology |
|
|
10:00-10:30 |
Cofee break |
|
|
10:30-12:30 |
Session 4: chair TBA |
|
|
10:30-11:00 |
Antonio E. Porreca, Alberto Leporati, Giancarlo Mauri and Claudio Zandron. P systems simulating oracle computations |
|
|
11:00-11:30 |
Pierluigi Frisco and Gordon Govan. P systems with active membranes operating under minimal parallelism |
|
|
11:30-12:00 |
Andrei Paun. Sequentiality Induced by Spike Number in SNP Systems: small universal machines |
|
|
12:00-12:30 |
Vincenzo Manca and Rosario Lombardo. Computing with Multi-Membranes |
|
|
12:30-14:00 |
Lunch |
|
|
14:00-18:00 |
Excursion to Chateau de Fontainebleau |
|
|
|
|
|
|
Thursday, 25 August 2011 |
|
|
|
|
9:00-10:00 |
Invited talk: Radu Nicolescu, Parallel and Distributed Algorithms in P Systems |
|
|
10:00-10:30 |
Cofee break |
|
|
10:30-12:30 |
Session 5: chair TBA |
|
|
10:30-11:00 |
Erzsébet Csuhaj-Varjú and György Vaszil. A Connection Between Finite dP Automata and Multi-head Finite Automata |
|
|
11:00-11:30 |
Artiom Alhazov, Alexander Krassovitskiy and Yurii Rogozhin. Circular Post Machines and P Systems with Exo- Insertion and Deletion |
|
|
11:30-12:00 |
Oana Agrigoroaiei and Gabriel Ciobanu. Quantitative Causality in Membrane Systems |
|
|
12:00-12:30 |
Francis Cabarle, Henry Adorna and Miguel Martinez–del–Amor. A Spiking Neural P system simulator based on CUDA |
|
|
12:30-14:00 |
Lunch |
|
|
14:00-15:30 |
Session 6: chair TBA |
|
|
14:00-15:00 |
Invited talk: György Vaszil, Variants of Distributed P Automata and the Efficient Parallelizability of Languages |
|
|
15:00-15:30 |
Michael J. Dinneen, Yun-Bum Kim and Radu Nicolescu. An Adaptive Algorithm for P System Synchronization |
|
|
15:30-16:00 |
Cofee break & poster session |
|
|
16:00-18:00 |
Session 7: chair TBA |
|
|
16:00-16:30 |
Sergiu Ivanov. Basic Concurrency Resolution in Clock-free P Systems |
|
|
16:30-16:50 |
Gyenn Neil Ibo and Henry Adorna. Characterizing Periodicity as a Dynamical Aspect of Generative SN P Systems |
|
|
16:50-17:10 |
Isidora Petreska and Petros Kefalas. Population P Systems with Moving Active Cells |
|
|
17:10-17:30 |
Adam Obtulowicz. Generalized Gandy-Paun-Rozenberg machines for tile systems and cellular automata |
|
|
17:30-18:00 |
Presentation of CMC13 venue |
|
|
20:00 |
Conference dinner |
|
|
|
|
Friday, 26 August 2011 |
|
|
|
|
9:00-10:00 |
Invited talk: Artiom Alhazov, Properties of Membrane Systems |
|
|
10:00-10:30 |
Cofee break |
|
|
10:30-12:30 |
Session 8: chair TBA |
|
|
10:30-10:50 |
Dragos Sburlan. P Systems with Chained Rules |
|
|
10:50-11:10 |
Stephen Raj Jebasingh, Thamburaj Robinson and Atulya K Nagar. On the Efficiency of Tile Pasting P System with Active Membranes |
|
|
11:10-11:30 |
Luděk Cienciala, Lucie Ciencialová and Miroslav Langer. Modularity in P Colonies with Checking Rules |
|
|
11:30-11:50 |
Linqiang Pan, Jun Wang and Hendrik Jan Hoogeboom. Asynchronous Spiking Neural P Systems |
|
|
11:50-12:20 |
Gh. Paun. Panel discussion: MC after CMC12 |
|
|
12:20-12:30 |
Closing ceremony & the best paper award |
|
|
12:30-14:00 |
Lunch |
|
|
|
|
|
