The purpose of the First International Workshop on Formal Methods in Systems Biology, FMSB 2008, held in Cambridge, UK, in June, 2008 was to identify techniques for the
Specification, development & verification of biological models. This book constitutes the refereed proceedings of the meeting.