Formal Methods in Systems Biology

June 4-5 2008
Microsoft Research, Cambridge, United Kingdom


The purpose of this meeting is to bring researchers together on the application of formal methods to biology. This includes techniques for the specification, development and verification of biological models, as well as the design of tools to execute and analyze biological models.  

Topics of interest include (but are not restricted to):

  • Application of formal methods for the construction and analysis of computational models describing various biological processes
  • Tools developed for the design and analysis of biological models
  • Applications of model-checking
  • Synthesis of biological models
  • Relating formally different levels of abstraction
  • Applications of concurrency theory in biology
  • Biologically-inspired advances in formal methods
  • Formal analysis applied to data bases

Important Dates

  • November 8, 2007: Invitations
  • February 15, 2008: Paper submission
  • March 15, 2008: End of review process
  • March 29 , 2008: Final version submission
  • June 4-5, 2008: Meeting dates