Contact Info

All your questions concerning the conference should be sent to:

José M. Sempere ( or

Claudio Zandron (




CMC16 Invited Lectures

Towards a Theory of Life
Prof. Dr. Andrés Moya
Instituto Cavanilles de Biodiversidad y Biología Evolutiva (Universitat de València),
Fundación Valenciana para el Fomento de la Investigación Sanitaria y Biomédica de la Comunidad Valenciana (FISABIO),
and CIBER en Epidemiología y Salud Pública (CIBEResp)

Abstract In this talk, I will present a summary of my last book where I explore the exciting world of Theoretical Biology. The book is divided into three sections. The first section examines the roles played by renowned scientists such as Jacob, Monod, Rosen, Turing, von Bertalanffy, Waddington and Woodger in developing the field of Theoretical Biology. The second section, aided with several examples, supports the idea that Logic and Computing are suitable formal languages to describe and understand biological phenomena. The third and final section is, without doubt, the most intellectually challenging and endeavors to show the possible paths we could take to compute a cell - the basic unit of life - or the conditions required for a predictive theory of biological evolution; ultimately, a theory of life in the light of modern Systems Biology. The work aims to show that Modern Biology is closer than ever to making Goethe's dream come true and that we have reached a point where synthetic and analytical traditions converge to shed light on the living being as a whole.

The slides (here)

Bio Prof. Moya studied Biology and Philosophy simultaneously at the University of València (Spain), obtaining a PhD in Biology in 1983, and a PhD in Philosophy in 1988. He was Postdoctoral Fellow at University of California (Davis, USA), and an Invited Professor at the University of California (Irvine, USA). In 1986 he created the Evolutionary Genetics Research Group at the Department of Genetics of the University of València, where he is a Professor of Genetics since 1993. He was the Director of the department from 1995 to 1998.
Prof. Moya was the promoter of the Cavanilles Institut of Biodiversity and Evolutionary Biology at the University of València. He also promoted the creation of the Astrobiology Center (CSIC-INTA) and the Public Health Research Center (CSISP), now integrated in the Valencian Region Foundation for the Promotion of Health (FISABIO). Currently, he chairs an Institutional Professorship between FISABIO and the University of València.
Prof. Moya is the author of approximately five hundred publications about Genetics, Evolution and Philosophy of Biology. His more significant contributions are in the fields of Symbiosis and Bacterial Genomics. He is involved in the study of the Human Microbiome under an Evolutionary and System Biology perspective.
Prof. Moya is a founding member of the European Society for Evolutionary Biology, Spanish Society of Virology and Spanish Society of Evolutionary Biology, where he is the current President.
He received the "Ciutat de Barcelona" award to Scientific Research (1996), the "Diario Médico" award (2006), the "Diploma of the President of the Valencian Government" for excellence in Biomedical Research (2010), the "2012 National Award of Genetics" (2012), and "2013 Lilly Award in Biomedical Research". He is fellow of the American Association for the Advancement of Science since 1998.

Quantitative refinement as an approach to biomodeling
Prof. Dr. Ion Petre
Computational Biomodelling Laboratory,
Turku Centre for Computer Science,
and Department of Computer Science (Abo Akademi University)

Abstract This talk focuses on computational techniques allowing mathematical models in biology to be presented and used at different levels of detail (or resolution), depending on the query the model is to answer. I will discuss a computational framework for quantitative model refinement where details may be added to (or removed from) a model in a systematic way, while preserving its overall numerical behavior. Our methodology addresses a major current challenge in computational systems biology, that of specifying a model at various levels of resolution while formally ensuring that once the model is quantitatively fit and validated at some level, it remains so at any other level. In this way, a model can be specified first at a lower level of detail, so that its numerical fit is computationally efficient. The model can then be formally refined to higher levels of detail based on our framework. This approach creates the basis for creating and handling flexible hierarchical models, able to integrate data and processes across scales. Our methodology builds on the expertise gained in computer science in (qualitative) program refinement, extending it in a fundamental way to the realm of quantitative models.

The slides (here)

Bio Ion Petre is a Professor of Computer Science at Abo Akademi University in Turku, Finland. He is a graduate of University of Bucharest (1997), holds a PhD in mathematics from University of Turku, Finland (2002) and is a former Research Fellow of Academy of Finland (2005-2010). His research interests are in foundational computational modeling approaches for biology. Some of his recent projects include computational gene assembly in ciliates, modeling of the heat shock response, modeling of intermediate filament self-assembly, quantitative model refinement, and network controllability.
Ion Petre is the director of Turku Centre for Computer Science and the head of the Department of Computer Science at Abo Akademi University. He has published about 100 papers, 1 book and is an editor of 13 books and special issues of journals. He serves in the editorial board of four international journals. He is a recipient of the yearly award "Grigore Moisil" of Academy of Romania on Computer Science.

Infobiotics, an informational analysis of genomes
Prof. Dr. Vincenzo Manca
Center for Biomedical Computing,
and Dipartimento di Informatica (University of Verona)

Abstract The talk presents some issues that are an evolution of my last book with the same title (Infobiotics, Springer, 2013). Here, after a brief introduction to information theory (information source, entropy, entropic divergence), I focus on infogenomics, that is, the analysis of genomes based on information theory. In particular, I will report my work about the extraction of genome dictionaries for human genome, by means of genomic distributions and random genomes. Finally, some results about a new biological complexity measure are outlined, and some general remarks and perspectives on future research are discussed.

The slides (here)

Bio Vincenzo Manca is a Full Professor, since 2002, at the Computer Science Department of the University of Verona. He obtained his degrees from the University of Pisa, under the guide of Alfonso Caracciolo di Forino and Ennio De Giorgi, where he became Assistant Professor in 1980. He was Associate Professor at the Universities of Udine and Pisa. His research interests cover a wide class of topics from mathematical logic, discrete mathematics, and theoretical computer science, to informational analysis and computational models of biological systems. In 2004, in the context of Membrane Computing, V.M. introduced MP grammars as a mathematical methodology for deducing discrete models of biological dynamics. At present, V.M.'s investigation is focused on "Computational analysis of genomes" and "Computational Systems Biology. V. M. is author of more than 170 scientific publications, appearing in international journals and scientific series. He has been reviewer for many scientific journals, member of Program Committee of many international conferences, and visiting professor/invited speaker in many universities and international conferences. He directed several research projects in the field of natural computing, advised 8 Ph.D students, and tutored more than 50 M.Sc. students. V.M. was co-founder and president of the Programme in Bioinformatics, at the University of Verona. Since October 2012 he is president of CBMC (Center for BioMedical Computing, University of Verona).