ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
VenueCharles University
Room nameS9
Floor0
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Sat 6 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30
IHSB at S9
Chair(s): Milan CeskaBrno University of Technology
09:00
10m
Day opening
Opening
HSB
09:10
60m
Talk
Invited talk: Modelling and personalisation techniques for behavioural prediction and emotion recognition
HSB
Marta KwiatkowskaUniversity of Oxford
10:10
10m
Short-paper
Poster flash: Comprehensive Modelling Platform
HSB
Matej TrojákMasaryk University, David SafranekMasaryk University, Jan ČervenýGlobal Change Research Institute CAS, Marek HavlíkMasaryk University, Lukrécia MertováMasaryk University, Matej HajnalMasaryk University, Jakub HrabecMasaryk University, Jakub ŠalagovičMasaryk University
10:20
10m
Short-paper
Poster flash: Formalizing metabolic-regulatory networks by hybrid automata
HSB
Lin LiuFreie Universität Berlin, Alexander BockmayrFreie Universität Berlin
11:00 - 12:30
ModellingHSB at S9
Chair(s): Tatjana PetrovUniversität Konstanz
11:00
30m
Talk
A Hybrid HMM Approach for the Dynamics of DNA Methylation
HSB
Charalampos KyriakopoulosSaarland University, Pascal GiehrSaarland University, Alexander LückSaarland University, Jörn WalterSaarland University, Verena WolfSaarland University
11:30
30m
Talk
Controlling noisy expression through auto regulation of burst frequency and protein stability
HSB
Pavol BokesComenius University, Abhyudai SinghUniversity of Delaware
12:00
30m
Talk
Using a hybrid approach to model central carbon metabolism across the cell cycle
HSB
Cecile MoulinLaboratoire de Recherche en Informatique, Université Paris-Saclay & UMR CNRS 8623, Laurent TournierMaIAGE, INRA, Université Paris-Saclay., Sabine PeresLaboratoire de Recherche en Informatique, Université Paris-Saclay & UMR CNRS 8623.
14:00 - 15:30
Oded Maler memorial (1)HSB at S9
Chair(s): Nicola PaolettiRoyal Holloway, University of London, UK
14:00
60m
Talk
Oded Maler: An odyssey from Computer Science to Biological Sciences
HSB
Thao DangCNRS/VERIMAG
16:00 - 18:00
Oded Maler memorial (2)HSB at S9
Chair(s): Nicola PaolettiRoyal Holloway, University of London, UK
16:00
60m
Talk
From Sensitive to Formal Barbaric Systems Biology
HSB
Alexandre DonzeUniversity of California, Berkeley
17:00
60m
Talk
Timed Patterns: from Definition to Matching and Monitoring, a survey in memoriam Oded Maler
HSB
Eugene AsarinIRIF, University Paris Diderot and CNRS, France

Sun 7 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:30
AnalysisHSB at S9
Chair(s): Jerome FeretINRIA Paris
11:00
30m
Talk
Fixed-point Computation of Equilibria in Biochemical Regulatory Networks
HSB
Isabel Cristina Perez-VeronaIMT Institute for Advanced Studies Lucca, Italy, Mirco TribastoneIMT Institute for Advanced Studies Lucca, Italy, Max TschaikowskiIMT Institute for Advanced Studies Lucca, Italy
11:30
30m
Talk
Rejection-Based Simulation of Stochastic Spreading Processes on Complex Networks
HSB
Gerrit GroßmannSaarland University, Verena WolfSaarland University
12:00
30m
Talk
rPrism -- A software for reactive weighted state transition models
HSB
Daniel FigueiredoUniversity of Aveiro, Eugénio A. M. RochaUniversity of Aveiro, Madalena ChavesINRIA, Manuel A. MartinsUniversity of Aveiro
16:00 - 18:00
Synthesis and InferenceHSB at S9
Chair(s): Michela ChiappaloneItalian Institute of Technology
16:00
30m
Talk
Extracting landscape features from single particle trajectories
HSB
Ádám HalászWest Virginia University, Ouri MalerWest Virginia University, Jeremy S EdwardsUniversity of New Mexico
16:30
30m
Talk
Fuzzy Matching in Symbolic Systems Biology
HSB
Adrian RiescoUniversidad Complutense de Madrid, Beatriz Santos-BuitragoSeoul National University, Merrill KnappSRI International, Gustavo Santos-GarciaUniversidad de Salamanca, Carolyn TalcottSRI International
17:00
30m
Talk
Data-informed parameter synthesis for population Markov chains
HSB
Matej HajnalMasaryk University, Tatjana PetrovUniversität Konstanz, David SafranekMasaryk University, Morgane NouvianUniversity of Konstanz
17:30
10m
Day closing
Closing
HSB

Sat 6 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
S9

Sun 7 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
S9