BIPC 2014 : Special Track on Biologically-Inspired Process Calculi

Country: USA

City: Boston

Abstr. due: 01.09.2014

Dates: 01.12.14 — 03.12.14

Area Of Sciences: Physics and math; Biology;

Organizing comittee e-mail:

Organizers: EAI


communities. The main aim of the workshop is to bring together researchers in computational systems biology, concurrency theory, formal methods, and related fields that are interested to present recent results and to discuss new ideas concerning such research directions. We welcome contributions that address both theoretical and applied contributions related to the relevance and potential of formal methods in biology. Topics of interest include (but not limited to):

- Biologically inspired models and calculi;
- Theoretical links and comparison of different biological inspired formal models;
- Qualitative biological modeling;
- Quantitative semantics;
- Modelling, analysis and simulation tools for biologically systems.

Conference Web-Site: