posted by organizer: BenHall || 229 views || tracked by 1 users: [display]

Discrete Biology 2018 : Discrete models and formal verification in biology


When Aug 29, 2018 - Aug 31, 2018
Where Murray Edwards College, Cambridge, UK
Submission Deadline Jun 29, 2018
Categories    systems biololgy   formal verification   computer science   biology

Call For Papers

"Discrete models and formal verification in biology"

29-31 August 2018, Murray Edwards College, Cambridge

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

The list of speakers is available here

This meeting is organised by Ben Hall on behalf of the Molecular Graphics and Modelling Society

Related Resources

GreeNet Symposium - SGNC 2018   9th Symposium on Green Networking and Computing (SGNC 2018)
CALDAM 2019   5th Annual International Conference on Algorithms and Discrete Applied Mathematics
ICISIP 2018   The 6th IIAE International Conference on Intelligent Systems and Image Processing 2018
PADS 2018   2018 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation
EJBLS - 3 2018   The European Journal of Biomedical and Life Sciences 3/2018
IJIST 2018   The International Journal of Information Science & techniques
ACIIDS 2018   10th Asian Conference on Intelligent Information and Database Systems
ATVA 2018   International Symposium on Automated Technology for Verification and Analysis
FMCAD 2018   International Conference on Formal Methods in Computer-Aided Design
IJMVSC 2018   The International Journal of Managing Value and Supply Chains