BIPC 2014 : Special Track on Biologically-Inspired Process Calculi

Страна: США

Город: Boston

Тезисы до: 01.09.2014

Даты: 01.12.14 — 03.12.14

Е-мейл Оргкомитета:

Организаторы: 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.

Веб-сайт конференции: