VerifyThis 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
co-located with ETAPS 2019
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

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30
IHSB at S9
Chair(s): Milan Ceska Brno 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 Kwiatkowska University of Oxford
10:10
10m
Short-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
10m
Short-paper
Poster flash: Formalizing metabolic-regulatory networks by hybrid automata
HSB
Lin Liu Freie Universität Berlin, Alexander Bockmayr Freie Universität Berlin
11:00 - 12:30
ModellingHSB at S9
Chair(s): Tatjana Petrov Universität Konstanz
11:00
30m
Talk
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
30m
Talk
Controlling noisy expression through auto regulation of burst frequency and protein stability
HSB
Pavol Bokes Comenius University, Abhyudai Singh University of Delaware
12:00
30m
Talk
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
Oded Maler memorial (1)HSB at S9
Chair(s): Nicola Paoletti Royal Holloway, University of London, UK
14:00
60m
Talk
Oded Maler: An odyssey from Computer Science to Biological Sciences
HSB
Thao Dang CNRS/VERIMAG
16:00 - 18:00
Oded Maler memorial (2)HSB at S9
Chair(s): Nicola Paoletti Royal Holloway, University of London, UK
16:00
60m
Talk
From Sensitive to Formal Barbaric Systems Biology
HSB
Alexandre Donze University of California, Berkeley
17:00
60m
Talk
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 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30
VHSB at S9
Chair(s): Nicola Paoletti Royal Holloway, University of London, UK
09:00
60m
Talk
Invited talk: Closed-loop neurohybrid interfaces: from in vitro to in vivo studies and beyond
HSB
Michela Chiappalone Italian Institute of Technology
10:00
30m
Talk
Temporal Logic Based Synthesis of Experimentally Constrained Interaction Networks
HSB
Judah Goldfeder Yeshiva University, Hillel Kugler Microsoft
11:00 - 12:30
AnalysisHSB at S9
Chair(s): Jerome Feret INRIA Paris
11:00
30m
Talk
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
30m
Talk
Rejection-Based Simulation of Stochastic Spreading Processes on Complex Networks
HSB
Gerrit Großmann Saarland University, Verena Wolf Saarland University
12:00
30m
Talk
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
VIIHSB at S9
Chair(s): David Safranek Masaryk University
14:00
60m
Talk
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
30m
Talk
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
Synthesis and InferenceHSB at S9
Chair(s): Michela Chiappalone Italian Institute of Technology
16:00
30m
Talk
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
30m
Talk
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
30m
Talk
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
10m
Day closing
Closing
HSB

Sat 6 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

Sun 7 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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