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: S5
Venue
Charles University
Room name
S5
Floor
0
Capacity
100
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
CoCo
TOOLympics
at
S5
11:00 - 12:30
SL-COMP
TOOLympics
at
S5
14:00 - 15:30
RERS 1
TOOLympics
at
S5
16:00 - 18:00
RERS 2
TOOLympics
at
S5
Sun 7 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 10:30
MCC
TOOLympics
at
S5
11:00 - 12:30
TOOLympics 1 - Pre-Events
TOOLympics
at
S5
11:00
11m
Meeting
CHC-COMP
TOOLympics
11:11
11m
Meeting
QComp
TOOLympics
11:22
11m
Meeting
Test-Comp
TOOLympics
11:33
11m
Meeting
SV-COMP
TOOLympics
11:45
11m
Meeting
RERS
TOOLympics
11:56
11m
Meeting
SAT
TOOLympics
12:07
11m
Meeting
SL-COMP
TOOLympics
12:18
11m
Meeting
TermCOMP
TOOLympics
14:00 - 15:30
TOOLympics 2 - On-Site / Post
TOOLympics
at
S5
14:00
11m
Meeting
CASC
TOOLympics
14:11
11m
Meeting
CoCo
TOOLympics
14:22
11m
Meeting
CRV
TOOLympics
14:33
11m
Meeting
SMT-COMP
TOOLympics
14:45
11m
Meeting
MCC
TOOLympics
14:56
11m
Meeting
REC
TOOLympics
15:07
11m
Meeting
Rodeo
TOOLympics
15:18
11m
Meeting
VerifyThis
TOOLympics
16:00 - 18:00
25 Years TACAS
TOOLympics
at
S5
16:00
2h
Meeting
Panel Discussion: Moore's Law, and More? (TACAS 25th anniversary)
TOOLympics
P:
Marieke Huisman
University of Twente
,
P:
Rance Cleaveland
University of Maryland
,
P:
Holger Hermanns
Saarland University
,
P:
Kim Larsen
Aalborg University
,
M:
Bernhard Steffen
Technical University Dortmund
,
Hubert Garavel
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
S5
TOOLympics
CoCo
TOOLympics
SL-COMP
TOOLympics
RERS 1
TOOLympics
RERS 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
S5
TOOLympics
MCC
TOOLympics
TOOLympics 1 - Pre-Events
TOOLympics
TOOLympics 2 - On-Site / Post
TOOLympics
25 Years TACAS
Sun 7 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
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
S5
ETAPS TOOLympics
CHC-COMP
11:00 - 11:11
ETAPS TOOLympics
QComp
11:11 - 11:22
ETAPS TOOLympics
Test-Comp
11:22 - 11:33
ETAPS TOOLympics
SV-COMP
11:33 - 11:45
ETAPS TOOLympics
RERS
11:45 - 11:56
ETAPS TOOLympics
SAT
11:56 - 12:07
ETAPS TOOLympics
SL-COMP
12:07 - 12:18
ETAPS TOOLympics
TermCOMP
12:18 - 12:30
ETAPS TOOLympics
CASC
14:00 - 14:11
ETAPS TOOLympics
CoCo
14:11 - 14:22
ETAPS TOOLympics
CRV
14:22 - 14:33
ETAPS TOOLympics
SMT-COMP
14:33 - 14:45
ETAPS TOOLympics
MCC
14:45 - 14:56
ETAPS TOOLympics
REC
14:56 - 15:07
ETAPS TOOLympics
Rodeo
15:07 - 15:18
ETAPS TOOLympics
VerifyThis
15:18 - 15:30
ETAPS TOOLympics
Panel Discussion: Moore's Law, and More? (TACAS 25th anniversary)
16:00 - 18:00
x
Sat 21 Dec 16:02