This will be the fourth workshop on molecular logic. A collaboration between University of Aveiro (Portugal) and the University of Diego Portales (Chile) started in May of 2012 with the visit of Claudio Fuentes to Aveiro.
This workshop will be a co-located event of AlCoB 2017
Molecular Logic
The connection with logic may not be obvious, however, all the constituents of a cell, behave with an inherent order to which has been called "molecular logic of life". Actually, the interaction between the several components of a cell can perform logic circuits which can be specified by appropriated logics.
Our interest in this edition goes in the opposite direction, we aim to discuss how logical based method and models can be applied to the study of biological systems, in order to improve the formulation and formalization of specific questions, as well as to give new approaches to paradigmatic problems in the area and contribute to generate more efficient models in biology.
Logical tools have been playing an important role in several applied fields, such as computer science. There are several approaches to model the intracellular metabolism, for example Boolean networks, digraphs, differential equation systems, etc...
Due to their algorithmic and organizational properties, we believe that logic and computational tools can be fruitfully applied in a biological context. Three illustrative examples are: the reconfigurability paradigm, which captures the property of a system to operate in distinct modes; bisimulation, which provides an alternative approach to describe the dynamical evolution of a system and reduce its complexity; and differential dynamic logic, which combines differential calculus with logical components to deal with hybrid systems.
More than ever, this is a very interesting challenge to logicians, mathematicians and researchers in cell biology.
|
June 6, 2017
14h00 - 17h30 June 7, 2017 9h30 - 12h30 (if needed) Room Sousa Pinto Department of Mathematics University of Aveiro Portugal Organizing committee Claudio Fuentes Manuel A. Martins Daniel Figueiredo 2014 Edition http://molecularlogic.weebly.com 2015 Edition http://molecularlogic2015.weebly.com/ 2016 Edition http://molecularlogic2016.weebly.com/ 
|