posted by organizer: BenHall || 923 views || tracked by 2 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 systems biology meeting about using cutting edge techniques from computer science. Talks will discuss a broad range of applications, including cancer biology, the design and refinement of experimental methods, and drug treatment strategies.

Early bird registration extended to June 29! Book now for £50 discount. Accommodation available at a discounted rate.

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 and a preliminary programme is available here

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

Related Resources

ICDMML 2019   【ACM ICPS EI SCOPUS】2019 International Conference on Data Mining and Machine Learning
DisCoTec 2019   International Federated Conference on Distributed Computing Techniques
SSCI 2019   The 2019 IEEE Symposium Series on Computational Intelligence
HSB 2019   Hybrid Systems and Biology
ETRIJ Cyber Security & AI 2019   ETRI Journal Special issue on Cyber Security and AI
SODA 2019   Symposium on Discrete Algorithms
ACM--ICIAI--Ei Compendex and Scopus 2019   ACM--2019 The 3rd International Conference on Innovation in Artificial Intelligence (ICIAI 2019)--Ei Compendex and Scopus
CALDAM 2019   5th Annual International Conference on Algorithms and Discrete Applied Mathematics
EJBLS - 1 2019   The European Journal of Biomedical and Life Sciences 1/2019
Journal Special Issue 2019   Machine Learning on Scientific Data and Information