Welcome (ICOOOLPS 2016)

Blogs (28) >>

Sun 17 - Fri 22 July 2016 Rome, Italy

Track

ICOOOLPS 2016

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

When

Mon 18 Jul 2016 09:10 - 09:15 at Alfieri - Session 1 Chair(s): Stefan Marr

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

Display full programSpecify a time band

Save

Session Program

Mon 18 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:10 - 09:45	Session 1ICOOOLPS at Alfieri Chair(s): Stefan Marr Johannes Kepler University Linz

09:10 5m Day opening		Welcome ICOOOLPS Stefan Marr Johannes Kepler University Linz
09:15 30m Talk		Source Language Representation of Function Summaries in Static Analysis ICOOOLPS Gábor Horváth Eötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers, Norbert Pataki Eötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers Media Attached File Attached

Welcome

Mon 18 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Stefan Marr

Johannes Kepler University Linz

Tracks

Co-hosted Conferences

Workshops

Welcome

Program Display Configuration

Program Display Configuration

Mon 18 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Stefan Marr

Johannes Kepler University Linz

Mon 18 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change