ETAPS 2019 (series) / HSB 2019 (series) /
HSB 2019 Program
This is the HSB 2019 program - see the full program for ETAPS 2019 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sat 6 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Sat 6 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | |||
09:00 10mDay opening | Opening HSB | ||
09:10 60mTalk | Invited talk: Modelling and personalisation techniques for behavioural prediction and emotion recognition HSB Marta Kwiatkowska University of Oxford | ||
10:10 10mShort-paper | Poster flash: Comprehensive Modelling Platform HSB Matej Troják Masaryk University, David Safranek Masaryk University, Jan Červený Global Change Research Institute CAS, Marek Havlík Masaryk University, Lukrécia Mertová Masaryk University, Matej Hajnal Masaryk University, Jakub Hrabec Masaryk University, Jakub Šalagovič Masaryk University | ||
10:20 10mShort-paper | Poster flash: Formalizing metabolic-regulatory networks by hybrid automata HSB | ||
11:00 - 12:30 | |||
11:00 30mTalk | A Hybrid HMM Approach for the Dynamics of DNA Methylation HSB Charalampos Kyriakopoulos Saarland University, Pascal Giehr Saarland University, Alexander Lück Saarland University, Jörn Walter Saarland University, Verena Wolf Saarland University | ||
11:30 30mTalk | Controlling noisy expression through auto regulation of burst frequency and protein stability HSB | ||
12:00 30mTalk | Using a hybrid approach to model central carbon metabolism across the cell cycle HSB Cecile Moulin Laboratoire de Recherche en Informatique, Université Paris-Saclay & UMR CNRS 8623, Laurent Tournier MaIAGE, INRA, Université Paris-Saclay., Sabine Peres Laboratoire de Recherche en Informatique, Université Paris-Saclay & UMR CNRS 8623. | ||
14:00 - 15:30 | |||
14:00 60mTalk | Oded Maler: An odyssey from Computer Science to Biological Sciences HSB Thao Dang CNRS/VERIMAG | ||
16:00 - 18:00 | |||
16:00 60mTalk | From Sensitive to Formal Barbaric Systems Biology HSB Alexandre Donze University of California, Berkeley | ||
17:00 60mTalk | Timed Patterns: from Definition to Matching and Monitoring, a survey in memoriam Oded Maler HSB Eugene Asarin IRIF, University Paris Diderot and CNRS, France | ||
Sun 7 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Sun 7 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | |||
09:00 60mTalk | Invited talk: Closed-loop neurohybrid interfaces: from in vitro to in vivo studies and beyond HSB Michela Chiappalone Italian Institute of Technology | ||
10:00 30mTalk | Temporal Logic Based Synthesis of Experimentally Constrained Interaction Networks HSB | ||
11:00 - 12:30 | |||
11:00 30mTalk | Fixed-point Computation of Equilibria in Biochemical Regulatory Networks HSB Isabel Cristina Perez-Verona IMT Institute for Advanced Studies Lucca, Italy, Mirco Tribastone IMT Institute for Advanced Studies Lucca, Italy, Max Tschaikowski IMT Institute for Advanced Studies Lucca, Italy | ||
11:30 30mTalk | Rejection-Based Simulation of Stochastic Spreading Processes on Complex Networks HSB | ||
12:00 30mTalk | rPrism -- A software for reactive weighted state transition models HSB Daniel Figueiredo University of Aveiro, Eugénio A. M. Rocha University of Aveiro, Madalena Chaves INRIA, Manuel A. Martins University of Aveiro | ||
14:00 - 15:30 | |||
14:00 60mTalk | Invited talk: Reaction networks, stability of steady states, motifs for oscillatory dynamics, and parameter estimation in complex biochemical mechanisms HSB Igor Schreiber University of Chemistry and Technology of Prague | ||
15:00 30mTalk | Geometric fluid approximation for general continuous-time Markov chains HSB Michalis Michaelides University of Edinburgh, Jane Hillston University of Edinburgh, Guido Sanguinetti University of Edinburgh | ||
16:00 - 18:00 | |||
16:00 30mTalk | Extracting landscape features from single particle trajectories HSB Ádám Halász West Virginia University, Ouri Maler West Virginia University, Jeremy S Edwards University of New Mexico | ||
16:30 30mTalk | Fuzzy Matching in Symbolic Systems Biology HSB Adrian Riesco Universidad Complutense de Madrid, Beatriz Santos-Buitrago Seoul National University, Merrill Knapp SRI International, Gustavo Santos-Garcia Universidad de Salamanca, Carolyn Talcott SRI International | ||
17:00 30mTalk | Data-informed parameter synthesis for population Markov chains HSB Matej Hajnal Masaryk University, Tatjana Petrov Universität Konstanz, David Safranek Masaryk University, Morgane Nouvian University of Konstanz | ||
17:30 10mDay closing | Closing HSB | ||