April 10 – 15 , 2011, Dagstuhl Seminar 11151
Last update: April 18 2013

Formal Methods in Molecular Biology

Participants

  • Kirill Batmanov (Lille I University, FR)
  • Giampaolo Bella (University of Catania, IT)
  • Antje Beyer (University of Cambridge, GB)
  • Mary Ann Blätke (Universität Magdeburg – IBIO, DE)
  • Chiara Bodei (University of Pisa, IT)
  • Luca Bortolussi (University of Trieste, IT)
  • Andrea Bracciali (University of Stirling, GB)
  • Rainer Breitling (University of Manchester, GB)
  • Davide Chiarugi (University of Siena, IT)
  • Maciej Dobrzynski (University College – Dublin, IE)
  • Anna Gambin (University of Warsaw, PL)
  • David Gilbert (Brunel University, GB)
  • Maria Luisa Guerriero (University of Edinburgh, GB)
  • Simon Hardy (Mount Sinai Medical School – New York, US)
  • Monika Heiner (BTU Cottbus, DE)
  • Mostafa Herajy (BTU Cottbus, DE)
  • Jane Hillston (University of Edinburgh, GB)
  • Matthias Jeschke (Mainz, DE)
  • Mathias John (IRI – Villeneuve d'Ascq, FR)
  • Andrzej M. Kierzek (University of Surrey, GB)
  • Elzbieta Krepska (Free University of Amsterdam, NL)
  • Céline Kuttler (Lille I University, FR)
  • Pietro Lio (University of Cambridge, GB)
  • Fei Liu (BTU Cottbus, DE)
  • Wolfgang Marwan (Universität Magdeburg – IBIO, DE)
  • Carsten Maus (Universität Rostock, DE)
  • Ivan Mura (Microsoft Research – University Trento, IT)
  • Chris J. Myers (Univ. of Utah, US)
  • Brett Olivier (Free University of Amsterdam, NL)
  • Alberto Policriti (University of Udine, IT)
  • Alessandro Romanel (ENS – Paris, FR)
  • Adelinde M. Uhrmacher (Universität Rostock, DE)
  • Natal van Riel (TU Eindhoven, NL)
  • Bartek Wilczynski (University of Warsaw, PL)
  • Verena Wolf (Universität des Saarlandes, DE)