February 22 – 27 , 2009, Dagstuhl Seminar 09091
Last update: January 17 2016

Formal Methods in Molecular Biology

Participants

  • Rainer Breitling (University of Groningen, NL)
  • David Gilbert (University of Glasgow, GB)
  • Monika Heiner (BTU Cottbus, DE)
  • Corrado Priami (Microsoft Research – University Trento, IT)