LDSSB 2012 - International Workshop on Learning and Discovery in Symbolic Systems Biology

Symbolic Systems Biology is a rapidly emerging field involving the application of formal logic-based methods to Systems Biology. Recently a spectrum of such approaches have begun to demonstrate their utility in modelling and analysing a variety of biological phenomena. Examples include Boolean logic, classical logic, modal logics, hybrid logic, rewriting logic, computational logics, constraint programming, formal methods, process calculi, graphical models, and many more. The primary aim of this workshop is to explore how machine learning and knowledge discovery techniques can be used within such formalisms to help learn and revise biological models. A secondary aim is to investigate how symbolic methods can be combined with numerical techniques in order to better handle noise and uncertainty in the real world.