First International Conference on Formal Methods in Macro-Biology (FMMB 2014)

Over the past decade, formal methods from computer science have been successfully applied in life sciences to decipher biological processes mostly at the molecular and cellular levels. Extending these methods to higher levels in systems biology, such as tissues, organs, but also populations and ecosystems is a challenging issue. In order to analyze such complex systems, temporal and spatial models able to represent a large number of components acting at dierent scales are required. Beyond ordinary and partial dierential equation systems, powerful modeling languages, approximation techniques and effcient algorithms need be designed, by involving experts from dierent disciplines, for tackling challenging macro biology questions.

The purpose of FMMB is to bring together researchers, developers, and students in theoretical computer science, applied mathematics, mathematical and computational biology, interested in studying the application of formal methods to the construction and analysis of models describing biological processes at both micro and macro levels.

Paper Submission: April 25, 2014

Projects: No Projects

Martin Golebiewski

22nd Sep 2014

24th Sep 2014

University of New Caledonia


 NcNew Caledonia

Related items

No items.

Log in / Register

Need an account?
Sign up

Forgotten password?

Front Page

Virtual Liver Network


Related Projects and friends

Imprint Taverna workflow workbench myExperiment JWS Online ISATAB myGrid Sabio-RK BioPortal Semantic SBML

Powered by:


Silk icons 1.3
Crystal Clear icons