PROGRAMME

1–3 September 2026 · Seville

Conference Programme

Three days of invited talks, paper presentations, scientific discussion and opportunities to connect with the ICMC community.

Day 1 Tuesday, 1 September Day 2 Wednesday, 2 September Day 3 Thursday, 3 September
Day 1

Tuesday, 1 September

  1. 08:30–09:15
    Welcome Registration
  2. 09:15–09:40
    Official session Opening Session
  3. 09:40–10:30
    Invited talk Raluca Lefticaru University of Bradford · Bradford, United Kingdom View speaker & talk details
  4. 10:30–11:00
    Break Coffee Break
  5. 11:00–13:05
    Paper presentations Session 1
    Chair Agustín Riscos-Núñez

    Reaction Systems with Rough Sets

    Péter Battyányi

    A polynomial-time solution to the latin square completion problem by means of P systems with active membranes

    Jerónimo Crespo and David Orellana-Martín

    Spiking neural P systems with colored spikes and multiple channels

    Jose M. Sempere and Rodrigo Llanes

    A matrix-based and GPU-accelerated simulator for ASNP systems

    Matteo Balzerani, Sandro Erba, Giuditta Franco and Claudio Zandron

    Algebraic Topological Data Analysis of Membrane Systems via Multi-Hypergraph Incidence Models

    Pedro Real

  6. 13:05–14:00
    Break Lunch
Day 2

Wednesday, 2 September

  1. 08:30–09:20
    Invited talk Ángel Goñi-Moreno Biocomputation Lab, CSIC · Madrid, Spain View speaker & talk details
  2. 09:20–10:45
    Paper presentations Session 2
    Chair Andrei Păun

    TENNCell: Transformation and Execution of Numerical Networks of Cells

    Sergey Verlan, Junying Xiao, Gexiang Zhang and Qiyu Liu

    Numerical 2D P Colonies as a Data Management Architecture for Biological Computers

    Daniel Valenta and Miroslav Langer

    Numerical Networks of Cells with Forward Activation and Blocking of Rules

    Artiom Alhazov, Rudolf Freund, Sergiu Ivanov and Sergey Verlan

  3. 10:45–11:10
    Break Coffee Break
  4. 11:10–12:00
    Invited talk Prithwineel Paul Institute of Engineering & Management · Kolkata, India View speaker & talk details
  5. 12:00–13:15
    Paper presentations Session 3
    Chair José M. Sempere

    An assembly P system which generates finite approximations of the Hilbert curve

    Taishin Nishida

    A Weighted Spiking Neural P Systems Approach to Distributed SYN Flood Detection

    Jacky John Abucay, Shane Odhuno, Kelvin Buño and Francis George Cabarle

    Toward Partition-Aware Design of Spiking Neural P Systems

    Job Lipat, Henry Adorna, Francis George Cabarle, Miguel Ángel Martínez-del-Amor and David Orellana-Martín

  6. 13:15–14:45
    Break Lunch
  7. 14:45–16:30
    Paper presentations Session 4
    Chair Thomas Hinze

    Spiking Neural P Systems in kPWorkbench

    Stefan Iacob, Florentin Ipate, Marian Gheorghe and Ionut Mihai Niculescu

    Scalable Verification-Aware Kernel P Systems: Indexed Modelling, Candidate Generation, and Trace-Level Verification

    Doru Constantin, Cristina Tudose, Ștefan Iacob, Ionuț Mihai Niculescu, Florentin Ipate and Marian Gheorghe

    Probabilistic Verification of Robot Controllers using Enzymatic Numerical P Systems Models

    Radu Bobe, Savas Konur and Florentin Ipate

  8. 16:30–17:00
    Break Coffee Break
  9. 17:00–18:40
    Paper presentations Session 5
    Chair Sergey Verlan

    Control Languages Associated with Cell-like Spiking Neural P Systems

    Marian Gheorghe, Ajeesh Ramanujan, Atulya Nagar, Rodica Ceterchi and K. G. Subramanian

    Program-oriented models of computation and virus machines

    David Orellana-Martín and Luis Valencia-Cabrera

    The power of Virus Machines: generating strings

    Antonio Ramírez de Arellano Marrero, David Orellana-Martín and Francis G. C. Cabarle

    Small Universal Multiset Reaction Systems

    Annemarie-Beatrix Messner and Andrei Păun

Day 3

Thursday, 3 September

  1. 08:30–09:20
    Invited talk Tao Wang Xihua University · Chengdu, China View speaker & talk details
  2. 09:20–10:35
    Paper presentations Session 6
    Chair Lucie Ciencialová

    A Visual Discrete Event-based Simulator for the Optimization of Plant Defense Strategies against Herbivores as Application of a Tissue P System

    Lucas Dietrich, Benjamin Foerster, Peter Langendoerfer and Thomas Hinze

    A Membrane Computing-Based Model for Image Classification

    Katalin Lazar and Leona Rajhona

    Towards olive tree water stress classification with spiking neural P systems

    David Orellana-Martín, Agustín Riscos-Núñez and Alejandro Linares-Barranco

  3. 10:35–11:00
    Break Coffee Break
  4. 11:00–12:15
    Paper presentations Session 7
    Chair Claudio Zandron

    Solving 3-SAT via Enzymatic Numerical P Systems with Membrane Division

    Alberto Leporati

    Reducing capacity in P Colonies

    Lucie Ciencialová and Luděk Cienciala

  5. 12:15–13:00
    Official session ICMC Meeting & Closing
  6. 13:00–14:00
    Break Lunch
  7. From 19:00
    Networking Social Event & Conference Dinner
Programme information and timings may be updated as the conference approaches.