Contact Info

All your questions concerning the conference should be sent to:

José M. Sempere (jsempere@dsic.upv.es) or

Claudio Zandron (zandron@disco.unimib.it)

ETSINF

UPV

Springer

CMC16 Final Program

Monday 17th
(Tutorial Day)
Tuesday 18th
Wednesday 19th
Thursday 20th
Friday 21st
(Interaction Day)
08:00-09:00
Registration
Registration
09:00-10:00
Tutorial #1
Gh. Paun
Regular Session #1
Regular Session #5
Regular Session #7
Interaction
10:00-11:00
Tutorial #2
R. Freund
Invited Lecture
I. Petre
Invited Lecture
A. Moya
Invited Lecture
V. Manca
Informal Presentations
11:00-11:30
coffee-break
coffee-break
coffee-break
coffee-break
11:30-12:00
coffee-break
Regular Session #2
Regular Session #6
CMC17 Presentation
Informal Presentations
12:00-13:00
Tutorial #3
C. Zandron
Regular Session #8
13:00-13:30
Lunch
Lunch
Lunch
Lunch
13:30-15:00
Lunch
15:00-16:30
Tutorial #4
Gy. Vaszil
Regular Session #3
Regular Session #9
Conclusions and closing
16:30-17:00
coffee-break
coffee-break
coffee-break
17:00-18:00
Tutorial #5
Agustín Riscos-Núñez
Regular Session #4
Regular Conference Closing
18:00-19:00
Social Program
19:00-??
Welcome Cocktail
SC meeting


Session #1 (Tuesday 18th - from 09:00 to 10:00)

    • Bridging Deterministic P Systems and Conditional Grammars. A. Alhazov, R. Freund and S. Verlan.
    • The slides (here)

    • P Systems with Generalized Multisets over Totally Ordered Abelian Groups. R. Freund, S. Ivanov, S. Verlan
    • The slides (here)

Session #2 (Tuesday 18th - from 11:30 to 13:00)

    • Variants of P Systems with Toxic Objects. A. Alhazov, R. Freund, S. Ivanov.
    • The slides (here)

    • A Solution of Horn-SAT with P Systems using Antymatter. K. Gabor.
    • The slides (here)

    • On the Semantics of Annihilation Rules in Membrane Computing. D. Díaz-Pernil, R. Freund, M.A. Gutiérrez-Naranjo, A. Leporati.
    • The slides (here)

Session #3 (Tuesday 18th - from 15:00 to 16:30)

    • About the environment in models derived fom colonies. S. Vavrecková, L. Ciencialová, L. Cienciala.

    • Generalized Communicating P Systems with Dynamically Changing Environment. A. Balaskó, E. Csuhaj-Varjú, G. Vaszil.
    • The slides (here)

    • Tissue P systems can be simulated efficiently with counting oracles. A. Leporati, L. Manzoni, G. Mauri, A. E. Porreca, C. Zandron.
    • The slides (here)

Session #4 (Tuesday 18th - from 17:00 to 18:00)

    • Basic Virus Machines. L. Valencia-Cabrera, M. Pérez-Jiménez, X. Chen, B. Wang, X. Zeng.
    • The slides (here)

    • Computing Recursive Functions by Virus Machines. A. Romero-Jiménez, L. Valencia-Cabrera, A. Riscos-Núñez, M. Pérez-Jiménez.
    • The slides (here)

Session #5 (Wednesday 19th - from 09:00 to 10:00)

    • Membrane Computing meets Temperature: A Thermoreceptor Model as Molecular Slide Rule with Evolutionary Potential. T. Hinze, K. Kirkici, P. Sauer, P. Sauer, J. Behre.
    • The slides (here)

    • Automatic Translation of MP+V Systems to Register Machine Specification. R. Gracini, V. Manca.
    • The slides (here)

Session #6 (Wednesday 19th - from 11:30 to 13:00)

    • Polarizationless P Systems with One Active Membrane. A. Alhazov, R. Freund.
    • The slides (here)

    • On the Power of Catalytic P Systems with One Catalyst. R. Freund, P. Sosík
    • The slides (here)

    • Regulating Rule Application with Membrane Boundaries in P Systems. T. Mihálydeák, G. Vaszil
    • The slides (here)

Session #7 (Thursday 20th - from 09:00 to 10:00)

    • Sorting using Spiking Neural P Systems with anti-spikes and Rules on Synapses. V. Padmavati Metta, A. Kelemenova.
    • The slides (here)

    • Automatied Verification of Stochastic Spiking Neural P Systems. B. Aman, G. Ciobanu.
    • The slides (here)

Session #8 (Thursday 20th - from 12:00 to 13:00)

    • Simulating FRSN P Systems with real numbers in P-Lingua on sequential and CUDA platforms. L.F. Macías-Ramos, M.A. Martínez-Del-Amor, M. Pérez-Jiménez.
    • The slides (here)

    • A new strategy to improve the performance of PDP-systems simulators. C. Graciani, M.A. Martínez-Del-Amor, A. Riscos-Núñez.
    • The slides (here)

Session #9 (Thursday 20th - from 15:00 to 16:30)

    • An Integrated Model Checking Toolset for Kernel P Systems. M. Gheorghe, F. Ipate, S. Konur, L. Mierla, M. Bakir.
    • The slides (here)

    • Chemistry-Inspired Adaptive Stream Processing. J. Rojas, M. Simonin, C. Tedeschi
    • The slides (here)

    • Parallel and Distributed Seeded Region Growing with Complex Objects. R. Nicolescu.
    • The slides (here)

Interaction Day

    • P Systems with Multiple Catalysts of the Same Name. R. Freund, S. Ivanov.

    • The Set-Maximally Parallel Derivation Mode. R. Freund, S. Verlan.

    • New Results for Small Universal P Systems Based on the Simulation of Generalized Register Machines and Generalized Counter Automata. A. Alhazov, R. Freund, P. Sosík.

    • Active membranes with elementary division and annihilation A. Porreca.

    • A membrane computing simulator of trans-hierarchical antibiotic resistance evolution dynamics in nested ecological compartments (ARES). M. Campos.

Welcome Cocktail (Monday 17th - from 19:00 on)

      On Monday 17th there will be a welcome cocktail at the conference venue (Hotel NH Las Artes) from 19:00 on. Participants of the CMC16 together with their accompanying persons are welcome.

Social Program (Wednesday 19th - from 17:30 on)

      Tour to the Historical City Centre and Conference Dinner


      Walking visit to the historical city centre and the most outstanding monuments in the medieval city: Serranos and Quart Towers, Central Market , Lonja (old silk exchange), Round Square, Cathedral, Virgin Square and the exterior of the Basilica and the Generalitat Palace.

      Bus will be provided from the Hotel Conference Venue.

      Departure time: 17:30 h



      Conference Dinner at Panorama Restaurant

      Conference Dinner starts at 20:30 h




      The conference dinner will be held at the Panorama restaurant at 20:30. The restaurant is located in the Marina Real Juan Carlos I in the port area close to the Malvarrosa Beach. The participants in the tour to the historical city centre will go directly to the conference dinner. The rest of participants can go directly to the restaurant at 20:30. After the conference dinner, a bus will take back all the participants to the conference venue.