S9 - TACAS 2019

VenueCharles University

Room nameS9

Floor0

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

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


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
S9	HSB I																								HSB Modelling																																				HSB Oded Maler memorial (1)																								HSB Oded Maler memorial (2)

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


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
S9	HSB V																								HSB Analysis																																				HSB VII																								HSB Synthesis and Inference

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


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
S9	HSB Opening 09:00 - 09:10		HSB Invited talk: Modelling and personalisation techniques for behavioural ... 09:10 - 10:10												HSB Poster flash: Comprehensive Modelling Platform 10:10 - 10:20		HSB Poster flash: Formalizing metabolic-regulatory networks by hybrid automata 10:20 - 10:30								HSB A Hybrid HMM Approach for the Dynamics of DNA Methylation 11:00 - 11:30						HSB Controlling noisy expression through auto regulation of burst frequency ... 11:30 - 12:00						HSB Using a hybrid approach to model central carbon metabolism across the c ... 12:00 - 12:30																								HSB Oded Maler: An odyssey from Computer Science to Biological Sciences 14:00 - 15:00																								HSB From Sensitive to Formal Barbaric Systems Biology 16:00 - 17:00												HSB Timed Patterns: from Definition to Matching and Monitoring, a survey in ... 17:00 - 18:00

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


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
S9	HSB Invited talk: Closed-loop neurohybrid interfaces: from in vitro to in v ... 09:00 - 10:00												HSB Temporal Logic Based Synthesis of Experimentally Constrained Interactio ... 10:00 - 10:30												HSB Fixed-point Computation of Equilibria in Biochemical Regulatory Networks 11:00 - 11:30						HSB Rejection-Based Simulation of Stochastic Spreading Processes on Complex ... 11:30 - 12:00						HSB rPrism -- A software for reactive weighted state transition models 12:00 - 12:30																								HSB Invited talk: Reaction networks, stability of steady states, motifs for ... 14:00 - 15:00												HSB Geometric fluid approximation for general continuous-time Markov chains 15:00 - 15:30												HSB Extracting landscape features from single particle trajectories 16:00 - 16:30						HSB Fuzzy Matching in Symbolic Systems Biology 16:30 - 17:00						HSB Data-informed parameter synthesis for population Markov chains 17:00 - 17:30						HSB Closing 17:30 - 17:40

Room information: S9

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

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

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

HSB

HSB

HSB

HSB

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

HSB

HSB

HSB

HSB

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

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

Tracks

Room information: S9

Program Display Configuration

Sat 6 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Sun 7 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Sat 6 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

HSB

HSB

HSB

HSB

Sun 7 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

HSB

HSB

HSB

HSB

Sat 6 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Sun 7 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

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

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

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

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

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