PDF Print
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
Last Updated on Wednesday, 05 October 2011 14:29