6th
International Workshop on Membrane Computing
19.00 |
Dinner at Schweizerhaus |
9:15 – 10:45 |
Money matters at registration desk, first
possibility to check email in computer room |
|
|
10:45 – 11:10 |
Coffee break |
|
|
11.10 – 11.15 |
Opening |
|
|
11.15 – 11.45 |
Miguel A. Gutiérrez-Naranjo, Mario J. Pérez-Jiménez, Agustín Riscos-Núñez, Francisco J. Romero-Campero: On the Power of Dissolution in P Systems with Active Membranes |
|
|
11.45 – 12.15 |
Miguel A. Gutiérrez-Naranjo, Mario J. Pérez-Jiménez, Francisco J. Romero-Campero: A Linear Solution for QSAT with
Membrane Creation |
|
|
12.15 – 12.45 |
Paolo Cazzaniga,
Alberto Leporati, Giancarlo Mauri, Claudio Zandron: P Systems
with Memory
|
|
|
12.45 – 14.15 |
Lunch break |
|
|
14.15 – 15.15 |
Invited talk: Oscar Ibarra:
Some Recent
Results Concerning Deterministic P Systems |
|
|
15.15 – 15.45 |
Gabriel Ciobanu,
Viorel M. Gontineac: Algebraic
and Coalgebraic Aspects of Membrane Computing
|
|
|
15.45 – 16.10 |
Coffee break |
|
|
16.10 – 16.30 |
Adam OBTUŁOWICZ:
Relational Membrane Systems
|
|
|
16.30 – 17.00 |
Pierluigi Frisco:
P Systems, Petri Nets and Program Machine
|
|
|
17.00 – 17.30 |
Jetty Kleijn,
Maciej Koutny, Grzegorz Rozenberg: Towards
a Petri Net Semantics for Membrane Systems
|
|
|
19.30 |
Heuriger |
9.15 – 10.15 |
Invited talk: Petr SOSÍK, Ondřej VALÍK:
On Evolutionary Lineages of Membrane Systems |
|
|
10.15 – 10:45 |
Nadia Busi: On the Computational Power of the
Mate/Bud/Drip Brane Calculus: Interleaving vs. Maximal Parallelism |
|
|
10.45 – 11.15 |
Coffee break |
|
|
11.15 – 11.45 |
Francesco Bernardini,
Marian Gheorghe, Natalio Krasnogor, Ravie C. Muniyadi, Mario J. Pérez-Jiménez, Francisco ROMERO-CAMPERO : On P Systems as a Modelling Tool
for Biological Systems |
|
|
11.45 – 12.15 |
Dragoş SBURLAN:
Modelling the
Dynamical Parallelism of Bio-Systems |
|
|
12.15 – 12.35 |
Luca BIANCO, Vincenzo MANCA: Encoding-Decoding Classes of P
Systems for the Metabolic Algorithm |
|
|
12.35 – 12.45 |
Giuditta Franco,
Nataša Jonoska, Barbara Osborn, Anna Plaas: Modelling Knee Injuries by Membrane Systems |
|
|
12.45 – 14.15 |
Lunch break |
|
|
11.00 – 12.45 |
Guided sightseeing tour for accompanying
persons (Stephansplatz) |
9.15 – 10.15 |
Invited talk: Artiom Alhazov,
Rudolf Freund, Yurii Rogozhin: Computational Power
of Symport/Antiport: History, Advances and Open Problems |
|
|
10.15 – 10:45 |
Artiom Alhazov: Number of Protons/Bi-stable Catalysts and Membranes in P Systems. Time-Freeness |
|
|
10:45 – 11.15 |
Coffee break |
|
|
11.15 – 11.45 |
Zhe Dang,
Oscar H. Ibarra, Sara Woodworth, Hsu-Chun Yen: On Symport/Antiport Systems and Semilinear
Sets |
|
|
11.45 – 12.15 |
Artiom ALHAZOV, Rudolf FREUND, Marion OSWALD: Symbol / Membrane Complexity of P
Systems with Symport / Antiport Rules |
|
|
12.15 – 12.45 |
Yurii ROGOZHIN, Sergey VERLAN: On the Rule Complexity of
Universal Tissue P Systems |
|
|
12.45 – 14.15 |
Lunch break |
|
|
14.15 – 15.15 |
Invited talk: Oana ANDREI, Gabriel CIOBANU,
Dorel LUCANU: Structural Operational Semantics of P Systems |
|
|
15.15 – 15.35 |
Gemma BEL ENGUIX, M. Dolores JIMéNEZ LÓPEZ: LP Colonies for Language Evolution. A Preview |
15.35 – 15.55 |
Giovanni CASIRAGHI, Claudio FERRETTI, A.
GALLINI, Giancarlo MAURI: Membrane Computing System Mapped
on an Asynchronous, Distributed Computational Environment |
|
|
15.55 – 16.15 |
Coffee break |
|
|
16.30 |
EMCC Meeting |
|
|
19.30 |
Conference Dinner at Strebersdorf |
9.15 – 10.15 |
Invited talk: Taishin Nishida: Membrane Algorithm: An Approximate
Algorithm for NP-complete Optimization Problems Exploiting P-Systems |
|
|
10.15 – 10.45 |
Damian LÓPEZ,
José M. SEMPERE: Editing
Distances between Membrane Structures |
|
|
10.45 – 11.15 |
Coffee break |
|
|
11.15 – 11.45 |
Luca BIANCO, Federico FONTANA, Vincenzo MANCA: P Systems and the Modelling of
Biochemical Oscillations |
|
|
11.45 – 12.05 |
Fernando Arroyo,
Juan Castellanos, Luis Fernández, Victor J. Martínez, Luis F. Mingo: Software Tools / P Systems Simulators
Interoperability |
|
|
12.05 – 12.25 |
Pierluigi FRISCO, Ranulf T. GIBSON: A Simulator for Conformon-P
Systems |
|
|
12.25 – 12.45 |
Dragoş SBURLAN:
Non-cooperative P
Systems with Priorities characterize PsET0L |
|
|
12.45 – 14.15 |
Lunch break |
|
|
14.15 – 14.45 |
Mihai IONESCU, Tseren-Onolt ISHDORJ: Boolean Circuits and a DNA
Algorithm in Membrane Computing |
|
|
14.45 – 15.15 |
Alberto LEPORATI, Giancarlo Mauri, Claudio ZANDRON: Quantum Sequential P Systems with Unit
Rules and Energy
Assigned to Membranes |
|
|
15.15 – 16.00 |
Results & Closing |
|
|
16.00 |
Coffee break |
|
|
Chairpersons |
|
||
Gabriel |
CIOBANU
|
||
Erzsébet |
CSUHAJ-VARJÚ
|
||
Rudolf |
FREUND
|
||
Oscar |
Ibarra
|
||
Gheorghe |
PĂUN
|
||
Mario J. |
Pérez-Jiménez |
||
|
|
|
|