ETAPS 2019
Sat 6 - Thu 11 April 2019
Prague, Czech Republic
Toggle navigation
About
Venue: Orea Hotel Pyramida
Venue: Charles University
Venue: Stará zbrojnice
Banquet Venue: Břevnovský klášter
Accommodation
Registration
Travel
Food
Social Events
Conferences
Scholarships
Proceedings
Awards
Conduct
ETAPS'19 Photos
Program
ETAPS Program
Your Program
Sat 6 Apr
Sun 7 Apr
Mon 8 Apr
Tue 9 Apr
Wed 10 Apr
Thu 11 Apr
Conferences
ETAPS 2019
Keynotes
Mentoring Workshop
Mooly Fest
Posters
Social
Student Volunteers
TOOLympics
Tutorials
Workshops
Co-hosted Conferences
ESOP
FASE
FOSSACS
POST
TACAS
Workshops
BEHAPI
CREST
DICE-FOPARA
GaLoP
HCVS
HSB
InterAVT
LiVe
MeTRiD
PERR
PLACES
QAPL
SPIoT
SYNT Camp
SynCoP
VerifyThis
Organization
ETAPS 2019 Committees
Organizing Committee
Steering Committee
Executive Board
Track Committees
Mentoring Workshop
Speakers
Mentors
Organizers
Mooly Fest
Posters
TOOLympics
Workshops
Contributors
People Index
Co-hosted Conferences
ESOP
Program Committee
FASE
Program Committee
FOSSACS
Invited Speaker
Program Committee
POST
Program Committee
TACAS
Program Committee
Artifact Evaluation Committee
Steering Committee
Workshops
BEHAPI
Organizing Committee
Program Committee
CREST
Invited Speakers
Program Committee
DICE-FOPARA
Program Committee
Steering Committe (FOPARA)
Steering Committee (DICE)
GaLoP
Program Committee
Steering Committee
HCVS
Invited Speakers
Organizing Committee
Program Committee
HSB
Organizing Committee
Program Committee
InterAVT
Organizing Committee
Program Committee
LiVe
Program Committee
MeTRiD
Organizing Committee
Program Committee
PERR
Organizing Committee
Program Committee
PLACES
Organizing Committee
Program Committee
QAPL
Organizing Committee
Steering Committee
SPIoT
Organizing Committee
Program Committee
SYNT Camp
Organizing Committee
Program Committee
SynCoP
Organizing Committee
Steering Committee (and PC)
VerifyThis
Organizing Committee
Search
Series
Sign in
Sign up
ETAPS 2019
(
series
) /
Charles University
/
Room information: S9
Venue
Charles University
Room name
S9
Floor
0
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
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, Vienna
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-07:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
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 program
Specify 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
I
HSB
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
Modelling
HSB
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
V
HSB
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
Analysis
HSB
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
VII
HSB
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 Inference
HSB
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
x
Fri 6 Dec 20:49