posted by organizer: BenHall || 1740 views || tracked by 2 users: [display]

Discrete Biology 2018 : Discrete models and formal verification in biology

FacebookTwitterLinkedInGoogle

Link: https://discretebiology.com/
 
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
https://discretebiology.com/

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

https://discretebiology.com/registration/


The list of speakers and a preliminary programme is available here

https://discretebiology.com/speakers-2/

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

Related Resources

ACM SIGSIM PADS 2024   38th ACM SIGSIM Conference on Principles of Advanced Discrete Simulation
ACM-Ei/Scopus-CCISS 2024   2024 International Conference on Computing, Information Science and System (CCISS 2024)
ICBCB 2024   2024 12th International Conference on Bioinformatics and Computational Biology (ICBCB 2024)
CTISC 2024   2024 6th International Conference on Advances in Computer Technology, Information Science and Communications (CTISC 2024) -EI Compendex
IJAB 2024   International Journal of Advances in Biology
GreeNet Symposium - SGNC 2024   15th Symposium on Green Networking and Computing (SGNC 2024)
AMS 2024   Advanced Medical Sciences: An International Journal
CVIV 2024   2024 6th International Conference on Advances in Computer Vision, Image and Virtualization (CVIV 2024) -EI Compendex
AREA 2024   4th Workshop on Agents and Robots for reliable Engineered Autonomy
Curious 2024   CURIOUS2024­ FUTURE INSIGHT™ CONFERENCE