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 25 October 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


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

    Before October 31th After November 1st
    Participant 150 (USD) 200 (USD)
    Student 100 (USD) 150 (USD)

    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


    Edificio Aulario of Universidad Diego Portales and Auditorio Francisco Varela, Instituto de Filosofía y Ciencias de la Complejidad Santiago, Chile.