6th International Workshop on Membrane Computing

 

Final Program

 

Sunday, July 17

 

19.00

Dinner at Schweizerhaus

 

 

Monday, July 18

 

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

 

 

 

Tuesday, July 19

 

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)

 


 

Wednesday, July 20

 

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



Thursday, July 21

 

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