9BWMC

Program



PROGRAM OF THE NINTH BRAINSTORMING WEEK ON MEMBRANE COMPUTING
Seville, January 31 - February 4, 2011

MONDAY, JANUARY 31
Room: "Salón de Grados"
08:30-09:30 Registration
09:30-09:45 Opening
09:45-11:00 First session of provocative presentations
11:00-11:30 Coffe/Tea break
Room: "Salón de Actos"
11:30-13:00 Concert in Honour of Gheorghe Paun's 60th Birthday
13:00-15:00 Lunch
Room: "H1.10"
15:00-20:00 Joint Work (with a Coffee/Tea break at 16.30)
TUESDAY, FEBRUARY 1
Room: "H1.10"
09:00-10:30 Second session of provocative presentations
10:30-11:00 Coffe/Tea break
11:00-13:00 Third session of provocative presentations
13:00-15:00 Lunch
15:00-20:00 Joint Work (with a Coffee/Tea break at 16.30)
Starting at 16:00 the meeting of the Spanish Network on Biomolecular and Biocellular Computing.
WEDNESDAY, FEBRUARY 2
Room: "H1.10"
09:00-10:30 Fourth session of provocative presentations
10:30-11:00 Special break: Churros with chocolate
11:00-11:30 Presentation of the International Summer School in Biomolecular
and Biocellular Computing
organized by the Spanish Network.
11:30-13:00 Fifth session of provocative presentations
13:00-15:00 Lunch
15:00-20:00 Joint Work (with a Coffee/Tea break at 16.30)
Starting at 16:30 a layman-oriented introduction to Membrane Computing will be held in room "Salón de Grados" by Mario J. Pérez Jiménez
THURSDAY, FEBRUARY 3
Room: "H1.10"
09:00-10:30 Sixth session of provocative presentations
10:30-11:00 Coffe/Tea break
11:00-13:00 Seventh session of provocative presentations
13:00-15:00 Lunch
15:00-20:00 Social event:
A visit to the Parliament of Andalusia.
20:30-??:?? Special dinner
FRIDAY, FEBRUARY 4
Room: "H1.10"
09:30-11:00 Results obtained during the meeting
11:00-11:30 Coffe/Tea break
11:30-13:00 Results obtained during the meeting
13:00 Closing



Presentations

  • A. Alhazov, A. Krassovitsky, Yu. Rogozhin: About new results on insertion-deletion P systems.
  • F. Cabarle, H.N. Adorna, M.A. Martínez-del-Amor: Spiking Neural P system without delay simulator implementation using GPGPU.
  • L. Cienciala, L. Ciencialova, M. Langer: P colonies with small capacity and modularity.
  • M.A. Colomer, C. Fondevilla, L. Valencia-Cabrera: A new P system to model the subalpine and alpine grass production and communities changes over time.
  • E. Csuhaj-Varjú, M. Gheorghe, G. Vaszil, A. Oswald: P systems with functioning controlled by the intensity/volume of communication.
  • M.J. Dinneen, Y-B. Kim, R. Nicolescu: Adaptive firing squad synchronization for P systems with duplex channels.
  • M.J. Dinneen, Y-B. Kim, R. Nicolescu: Firing squad synchronization for P systems with simplex channels.
  • G. Franco: Duplicating P systems
  • Z. Gazdag: P systems and higher-order multicounter automata.
  • M.A. Gutiérrez-Naranjo, M.J. Pérez-Jiménez: Local search with P systems.
  • M. Ionescu, G. Paun, M.J. Pérez-Jiménez: SN dP systems.
  • F. Ipate, A. Turcanu: Modeling, testing and verification of P systems using Roding and ProB.
  • S. Ivanov, A. Alhazov, V. Rogojin: Forward and backwards chaining with P systems.
  • R. Lefticaru, C. Tudose, F. Ipate: Formal verification of P systems using SPIN.
  • L. Marchetti: MP modeling of glucose-insulin interactions in the Intravenous Glucose Tolerance Test (IVGTT).
  • R. Nicolescu, H. Wu: Asynchronous P systems and fundamental asynchronous algorithms.
  • R. Nicolescu, H. Wu: Disjoint paths in P systems using breadth-first search.
  • A. Obtulowicz: Well-tempered P systems: toward membrane computing environment for music composition.
  • A. Obtulowicz: On a contribution of membrane computing to a cultural synthesis of computer science, mathematics and biological sciences.
  • R. Reina-Molina, D. Díaz-Pernil, M.A. Gutiérrez-Naranjo: Integer linear programming for tissue-like P systems.
  • G. Vaszil: Rewards on (distributed) P automata.
  • S. Verlan, R. Freund, A. Riscos-Núñez, I. Pérez-Hurtado: A formal framework for P systems with dynamic structure.
  • G. Zhang, M. Gheorghe: A compact membrane algorithm and its application to image processing.