Discrete models and formal verification in biology
Discrete Biology 2018
- URL: https://discretebiology.com/
- Event Date: 2018-08-29 ~ 2018-08-31
- Submission Date: 2018-06-29
Bioinformatics & Computational Biology Life Sciences & Earth Sciences (General)
29-31 August 2018, Murray Edwards College, Cambridge
https://discretebiology.com/
A fundamental feature of biological systems is the scale and complexity of the underlying networks. To understand this biocomplexity it will require the adoption of novel tools and concepts from computer science that allow the construction and analysis of models using techniques derived from the field of formal verification.
This meeting will bring together systems biologists and computer scientists from a wide range of fields to discuss how to apply and develop these new approaches. Topics of interest include but are not limited to:
• Logical, executable, and rule based models of biological processes
• Validation and formal verification of biological models
• The application of such methods to modelling new systems
• Model inference and synthesis from experimental data
• Multiscale modelling and analysis
• Hybrid and physical models of biological growth processes
Registration and abstract submission for posters and talks is now open
https://discretebiology.com/registration/
The list of speakers is available here
https://discretebiology.com/speakers-2/
This meeting is organised by Ben Hall on behalf of the Molecular Graphics and Modelling Society
Journal Promotion
|
| Acta Koreana (Acta Koreana) |
|
| Acta Via Serica (AVS) |
|
| Computers and Concrete (CAC) |
|
| Journal of Information Processing Systems (JIPS) |
|
| Journal of Internet Computing and Services (KSII - JICS) |
|
| Journal of Smart Tourism (Smart Tourism) |
|
| Membrane and Water Treatment (MWT) |
|
| Wind and Structures, An International Journal (Wind and Structures) |
MANUSCRIPTLINK © 2015 -
