Program

Sept 12, 2019, Thursday

09:15 - 09:40 Heike Siebert (Freie Universität Berlin): Welcome and Introduction

09:40 - 10:05 Élisabeth Remy (Institut de Mathématiques de Marseille): Isometries of the hypercube: a tool for logical regulatory networks analysis (Joined work with J. Fabre-Monplaisir, and B. Mossé)

10:05 - 10:30 Denis Thieffry (Institut de Biologie de l'École Normale Supérieure): Computational verification of large logical models - application to the prediction of T cell response to checkpoint inhibitors (Abstract)

10:30 - 11:00 Coffee Break

11:00 - 11:25 Pedro T. Monteiro (Universidade de Lisboa): On the (mis)use of model-checking in Systems Biology

11:25 - 11:50 Aurélien Naldi (Institut de Biologie de l'École Normale Supérieure): From states to patterns: trapspaces and implicants (Abstract)

11:50 - 12:15 Adrien Fauré (Yamaguchi University): Circuit functionality: towards a new definition (Abstract)

12:15 - 13:45 Lunch (please see Katja to finalize the paper work between 13:15 and 13:45)

13:45 - 14:10 Adrien Richard (CNRS, University of Nice-Sophia Antipolis): Complexity of maximum and minimum fixed point problem in Boolean networks (Abstract)

14:10 - 14:35 Maximilien Gadouleau (Durham University): Simulation of Automata Networks (Abstract)

14:35 - 15:00 Etienne Farcot (University of Nottingham): What do piecewise linear and discrete models have to say about each other?

15:00 - 15:30 Organization of discussion groups

15:30 - 16:00 Group work

16:00 - 16:30 Coffee Break

16:30 - 18:00 Group work, Discussion

19:00 - Dinner at the restaurant "Eierschale Dahlem" (Podbielskiallee 50, 14195 Berlin) (How to find)

Sept 13, 2019, Friday

09:00 - 09:25 Lin Liu (Freie Universität Berlin): Formalizing Metabolic-Regulatory Networks by Hybrid Automata (Abstract)

09:25 - 09:50 Elisa Tonello (Freie Universität Berlin): Modelling spatial patterns with Boolean networks (Abstract)

09:50 - 10:15 Robert Schwieger (Freie Universität Berlin): Algebraic methods for investigating cell fate decisions

10:15 - 10:30 Discussion about group work, regrouping

10:30 - 11:00 Coffee break

11:00 - 12:45 Group work

12:45 - 13:30 Wrap up, Farewell Snack, Goodbye