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:
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
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