Formal Methods in Systems Biology

This year all papers are by invitation only.

In addition to the FMSB proceedings volume with Springer Lecture Notes in Bioinformatics (LNBI), Theoretical Computer Science (TCS) will publish a selected set of FMSB contributions in a special issue.