Seminar: Formal Models in Systems Biology