Program - ETAPS 2019

Detailed Table Session Timeline Detailed Timeline

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

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

09:00 - 10:30	IHCVS 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	IIHCVS 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	IIIHCVS 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	IVHCVS 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

HCVS 2019 Program

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

ETAPS 2019

Co-hosted Conferences

Workshops

HCVS 2019 Program

Switch Program View

Program Display Configuration

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

Get Calendar (iCal)

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