SASB 2016: The 7th International Workshop on Static Analysis and Systems Biology | |
United Kingdom - Edinburgh |
|
Hosted by: | University of Edinburgh |
Venue: | University of Edinburgh |
Dates: | Sep 07, 2016 through Sep 07, 2016 |
Call for Proceedings Presentations: | 2016-01-01 through 2016-07-05 |
Call for Posters: | 2016-01-01 through 2016-08-10 |
Event Registration: | 2016-01-01 through 2016-08-15 |
Description |
|
SASB is a one day workshop that aims at promoting discussions and collaborations at the intersection inbetween the specific field of formal methods covering modelling languages and static analysis, and the following fields: (i) systems biology targeting a system-level understanding of biological systems, (ii) synthetic biology targeting functional modifications to naturally occurring systems, (iii) molecular programming and development of engineered biological and chemical systems. The workshop targets biological networks and executable models of biological systems and molecular devices, focusing on their formal specification and static analysis. A special emphasis is given to rule-based or process-algebraic languages that have the advantage of compact representation and provide a robust tool for systems and synthetic biology as well as a good base for molecular programming languages. |
|
Additional Information | |
Event URL: | http://sasb2016.fi.muni.cz |
ISCB Member Discount: | None |
Contact Person: | David Safranek ([javascript protected email address]) |
While ISCB provides for conference and event listings that may be of interest to members and bioinformaticians at large, ISCB is not responsible for the content provided by outside sources. Such listings are not meant as an endorsement by ISCB.