International Symposium on Molecular Logic and Computational Synthetic Biology

Santiago Chile, 17-18 December, 2018


Synthetic biology aims at the design of biological systems in a systematic way, a process whose hallmark characteristics closely resemble the composition of software: off-the-shelf parts and devices with standard connections, the usual ingredients for assembling components into increasingly complex systems. Of course, a number of key enabling technologies are specifically biological, for example, DNA sequencing and fabrication. But, on the other hand, there is also a need for new models to cope with the complex and heterogeneous nature of biological systems. In this context, the Symposium starting point is to regard a network of interacting genes and proteins as a dynamic system evolving in time according to fundamental laws of reaction, diffusion and transport. These laws govern how a regulatory network, confronted by any set of stimuli, determines the appropriate response of a cell. The emerging behavioural patterns can be described in precise mathematical terms, combining discrete, continuous and stochastic features, and resorting both to specific or general-purpose analysis and verification techniques. Molecular logic, focussed on computing logical operations on molecules, a fruitful conceptual crossover between chemistry and computation with unsuspected applications, is a possible path in this research map. Actually, this Symposium emerged from a series of in- formal workshops on Molecular Logic which, for the last four years, have brought together researchers from different latitudes and backgrounds.

The new International Symposium aims at harnessing logical and algebraic methods for modelling and verifying systems on the interaction of Nature and Computation, around two main themes:

  • development of biological computation models and devices
  • application of new computing paradigms to the design of biological systems.

    Original submissions are required in any topic from the following, non exclusive list:

  • Molecular logic
  • Chemistry, biology and computation
  • Quantum computing applications to biology
  • Computational synthetic biology
  • Control theory and/or algorithms for biological systems
  • Reconfigurability and adaptation
  • Probabilistic biological models
  • Hybrid systems for biology

    Submissions on general computational models that are applicable to a biological context, such as probabilistic, hybrid, weighted, resource-based, and time-based are also welcome.

    The workshop is promoted by the project Klee - Coalgebraic Modeling and Analysis for Computational Synthetic Biology (02/SAICT/2017), a R&D project supported by the Portuguese Foundation for Science and Technology

    Important dates

  • 8 September 2018 23 September 2018: Abstract deadline
  • 15 September 2018 25 September 2018: Full paper deadline
  • 15 October 2018 5 November 2018: Author notification
  • TBA: Final version deadline
  • TBA: Special issue invitation

    Submissions and publications

    Both fully mature contributions and work-in-progress submissions on the topics above are welcome. All contributions should be written in English, prepared in LATEX, using llncs style, and submitted as PDF files following instructions available from the symposium website. A page limit of 15 pages for full papers is established.

    Extended abstracts with preliminarily results and work in progress (2-5 pages) are also welcomed for short presentations. They are subject to a light reviewing and will be available at the conference in an informal booklet.

    All contributions must be original, unpublished and not submitted simultaneously for publication elsewhere. Both kinds of submissions should be done via the Online Conference System (OCS) of Springer using the link

    Proceedings with full papers will be published by Springer Lecture Notes in Computer Science Series. A journal Special Issue, with extended and revised versions of selected papers, is currently under negotiation.

    Call for Papers
    Second Call for Papers

  • Chairs

    OC chairs

    • Claudio Fuentes (U. Diego Portales, Chile)
    • Daniel Figueiredo (U. Aveiro, Portugal)
    • Pablo Razeto-Barry (IFICC, Chile)
    • Tomás Veloz (IFICC, Chile)

    Invited Speakers

    Program Committee

    Invited talks

    Accepted contributions

    Full papers


    The registration fee covers the informal proceedings of the meeting and the lunch on December 17th.

    Before October 31th After November 1st
    Participant 150 (EUR)/ 115 000 (Chilean Pesos) 200 (EUR) 154 000 (Chilean Pesos)
    Student 100 (EUR) 150 (EUR) 115 000 (Chilean Pesos)

    The registration is now open. You can register via this link . The payment will be done at arrival.

    Accommodation information

    Suggestions near Conference Center:

    - La casa del académico (IFICC) -- 45 USD
    - Rentahome Ejército (UDP) -- 64 USD
    - Hotel Diego de Almagro (UDP) -- 79 USD


    Sunday, 16th
    4h-5h pm
    Reception and Inscriptions at UDP
    (Vergara 275, Santiago Centro)

    Monday, 17th
  • Temporal Logic Based Synthesis of Experimentally Constrained Interaction Networks
  • A Logical Framework for Modelling Breast Cancer Progression
  • Oscillatory behaviour on a non-autonomous hybrid SIR-model
  • Logics for Petri nets with propagating failures
  • Approximations of Interval Markov Chains via Sampling
  • Efficient Parameter Delta-Reachability Bounded Hybrid Systems
  • Molecular Logic and the Problem of Computational Implementation
  • An essay on weighted state transition models with reactivity

  • Program
    Auditorio Facultad de Psicología
    Edificio Aulario of Universidad Diego Portales
    Vergara 275
    Santiago, Chile
    Google Maps

    19h00 walk by City Center (Palacio de Gobierno, Cerro Santa Lucía)
    20h00 Dinner in Lastarria Neighborhood (around 15€).

    Tuesday, 18th
  • Combinatorial dynamics for regulatory networks
  • Reactive models for biological regulatory networks
  • Random chromatin neighborhoods in 2n=40 Mus m. domesticus meiotic cells: P-percolation and image segmentation
  • On the existence of synergies and the separability of closed reaction networks
  • A Susceptible-Infected-Removed Model on Time Scales
  • Optimal control of a delayed HIV/AIDS-PrEP model
  • Proteins as dynamic architectural patterns
  • Synchronous searching for DNA patterns
  • Quantum simulation of quantum chemistry: a case study using IBM Q
  • Reaction network modeling of endosymbiotic interactions

  • Program
    Auditorio Francisco Varela, Instituto de Filosofía y Ciencias de la Complejidad
    Los Alerces 3024
    Ñuñoa, Region Metropolitana
    Santiago, Chile
    Google Maps

    18h00 Closing Cocktail and electroacoustic concert by Federico Schumacher (Featured Chilean Compositor)

    General Information

  • official tourism website:
  • interesting places to visit in Santiago:
  • classic tours
  • bike tourism
  • the best bars:
  • rent apartments for days:
  • to visit the mountains: