The aim of this workshop is to gather researchers in formal methods that are interested in the convergence of Computer Science, Biology and life sciences. In particular, we solicit contribution of original results that address both theoretical aspects of modeling and applied work on the comprehension of biological behavior. We encourage presentations of interdisciplinary work conducted by teams composed of both life and computer scientists.
| Submissions: | April 2, 2012 |
| Notification: | May 16, 2012 |
| Event: | June 16, 2012-June 16, 2012 |