Skip to main content

Meeting on Discrete Models and Formal Verification in Biology (Cambridge, August 29-31)

Ben Hall organizes a systems biology meeting about using cutting edge techniques from computer science. The meeting will take place at the Murray Edwards College in Cambridge on August 29-31. This meeting brings together computer scientists, biologists, mathematicians, engineers, and physicists interested in developing abstract models to understand biological complexity.

More information is available on the meeting page.

Logical modelling of cellular networks at ECCB 2018 (Athens, Greece, Sep 08)

Anna Niarakis and Denis Thieffry are organizing a one-day workshop dedicated to Logical Modelling in the context of the European Conference on Computational Biology. This workshop will take place in Athens on September 08, before the main ECCB conference (September 09-12). More details are available on the workshop page.

Tomas Helikar and Juilee Thakar are also organizing a one-day hands-on tutorial on the following day (September 09), featuring CellNOpt, Cell Collective, GINsim, and the CoLoMoTo notebook. More details are available on the tutorial page.