Meeting on Discrete Models and Formal Verification in Biology

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.