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: S4 (HCVS)
Venue
Charles University
Room name
S4 (HCVS)
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
Sun 7 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 10:30
I
HCVS
at
S4 (HCVS)
Chair(s):
Maurizio Proietti
CNR-IASI
09:00
60m
Invited Talk: Concolic testing of higher-order functional languages
HCVS
Konstantinos (Kostis) Sagonas
Uppsala University
File Attached
10:00
30m
Talk
HoCHC: A Refutationally Complete and Semantically Invariant System of Higher-order Logic Modulo Theories
HCVS
C.-H. Luke Ong
University of Oxford
,
Dominik Wagner
Pre-print
File Attached
11:00 - 12:00
II
HCVS
at
S4 (HCVS)
Chair(s):
Mattias Ulbrich
Karlsruhe Institute of Technology
11:00
30m
Talk
Challenges in the specialisation of smart Horn clause interpreters
HCVS
John P. Gallagher
Roskilde University
File Attached
11:30
30m
Full-paper
Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification
HCVS
Emanuele De Angelis
University of Chieti-Pescara
,
Fabio Fioravanti
University of Chieti-Pescara
,
Alberto Pettorossi
University of Rome Tor Vergata, Italy
,
Maurizio Proietti
CNR-IASI
File Attached
13:30 - 15:30
III
HCVS
at
S4 (HCVS)
Chair(s):
John P. Gallagher
Roskilde University
13:30
60m
Invited Talk: Foundations and Techniques for the Static Analysis of Ethereum Smart Contracts
HCVS
Matteo Maffei
TU Wien
File Attached
14:30
30m
Talk
Coinduction in Uniform: what's next?
HCVS
Henning Basold
CNRS & ENS Lyon
,
Ekaterina Komendantskaya
Heriot-Watt University, UK
Link to publication
15:00
30m
Full-paper
Ultimate TreeAutomizer
HCVS
Daniel Dietsch
University of Freiburg
,
Matthias Heizmann
University of Freiburg
,
Jochen Hoenicke
Universität Freiburg
,
Alexander Nutz
University of Freiburg, Germany
,
Andreas Podelski
University of Freiburg, Germany
16:00 - 18:00
IV
HCVS
at
S4 (HCVS)
Chair(s):
Nikolaj Bjørner
Microsoft Research
16:00
30m
Talk
Decomposing Farkas Interpolants
HCVS
Martin Blicha
USI Lugano, Switzerland
,
Antti Hyvärinen
,
Jan Kofroň
Charles University
,
Natasha Sharygina
USI Lugano, Switzerland
File Attached
16:30
30m
Experience report
Report on the CHC competition
HCVS
Grigory Fedyukovich
Princeton University
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
S4 (HCVS)
HCVS
I
HCVS
II
HCVS
III
HCVS
IV
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
S4 (HCVS)
HCVS
Invited Talk: Concolic testing of higher-order functional languages
09:00 - 10:00
HCVS
HoCHC: A Refutationally Complete and Semantically Invariant System of H ...
10:00 - 10:30
HCVS
Challenges in the specialisation of smart Horn clause interpreters
11:00 - 11:30
HCVS
Proving Properties of Sorting Programs: A Case Study in Horn Clause Ver ...
11:30 - 12:00
HCVS
Invited Talk: Foundations and Techniques for the Static Analysis of Eth ...
13:30 - 14:30
HCVS
Coinduction in Uniform: what's next?
14:30 - 15:00
HCVS
Ultimate TreeAutomizer
15:00 - 15:30
HCVS
Decomposing Farkas Interpolants
16:00 - 16:30
HCVS
Report on the CHC competition
16:30 - 17:00
x
Thu 21 Nov 09:30