Skip to content

Website of project LifeForm

Life Sciences need formal methods. A WordPress site

  • Participants
  • Meetings + Events

Recent Posts

  • Research internship completed on the construction of a model of the gene regulation network in B. Subtilis
  • Publications of LifeForm
  • Internships in Spring/Summer of 2016
  • Welcome to the LifeForm project

Recent Comments

  • Stefan Haar on Welcome to the LifeForm project

Archives

  • November 2016
  • July 2016

Categories

  • Uncategorized

Meta

  • Log in
  • Entries feed
  • Comments feed
  • WordPress.org

Publications

Meeting in Cachan March 8-10, 2017

Still under construction – presentations will follow below

  • (Matthias Függer)
  • Unfolding of Parametric Logical Regulatory Networks (Juraj Kolcak)
  • Construction d’un Modèle Logique de la Régulation de la Transcription chez Bacillus subtilis (Loic Paulevé)
  • Synthesis of Petri Nets with Whole-Place Operations and Localities (Marta Koutny)
  • Techniques and Tools for Qualitative Biological Models (Jason Steggles)
Proudly powered by WordPress