Molecular Logic and Computational Synthetic Biology

First International Symposium, MLCSB 2018, Santiago, Chile, December 17–18, 2018, Revised Selected Papers

  • Madalena Chaves
  • Manuel A. Martins
Conference proceedings MLCSB 2018

Part of the Lecture Notes in Computer Science book series (LNCS, volume 11415)

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 11415)

Table of contents

  1. Front Matter
    Pages i-xi
  2. Claudio Fuentes Bravo, Patricio Fuentes Bravo
    Pages 1-17
  3. Zane Huttinga, Bree Cummins, Tomas Geadon
    Pages 56-73
  4. Daniel Figueiredo, Luís Soares Barbosa
    Pages 74-88
  5. Tomas Veloz, Alejandro Bassi, Pedro Maldonado, Pablo Razeto
    Pages 105-120
  6. Joëlle Despeyroux, Amy Felty, Pietro Liò, Carlos Olarte
    Pages 121-141
  7. Back Matter
    Pages 157-157

About these proceedings


This book collects the revised selected proceedings of the  First International Symposium in Molecular Logic and Computational Synthetic Biology ( MLCSB), held in Chile, Santiago, in  December 2018. The volume contains 7 full revised papers along with 2 surveys from 19 submissions presented at the symposium. One of the goals of the MLCSB 2018 was to explore the potential of molecular logic frameworks to study the emerging behavioural patterns in biological networks, combining discrete, continuous and stochastic features, and resorting both to specific or general-purpose analysis and verification techniques.


Molecular logic Boolean Networks Biological regulatory networks Breast cancer modeling Dynamic Logic Formal Verification Morse graph Reaction networks Separability Random chromatin neighborhoods Inhomogeneous Bernoulli site percolation Image segmentation matrix algebra semantics Boolean algebra formal logic

Editors and affiliations

  • Madalena Chaves
    • 1
  • Manuel A. Martins
    • 2
  1. 1.Inria Sophia Antipolis - MéditerranéeInriaSophia Antipolis CedexFrance
  2. 2.Department of MathematicsUniversity of AveiroAveiroPortugal

Bibliographic information

Industry Sectors
IT & Software