Default Rules for Curry (PADL) - PADL

Mon 18 - Tue 19 January 2016 St. Petersburg, Florida, United States

co-located with POPL 2016

Who

Sergio Antoy, Michael Hanus

Track

Time Zone

The program is currently displayed in (GMT-05:00) Guadalajara, Mexico City, Monterrey.

Use conference time zone: (GMT-05:00) Guadalajara, Mexico City, MonterreySelect 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

When

Mon 18 Jan 2016 16:30 - 17:00 at Room Bayboro - Logic Programming

Sergio Antoy

Kiel University

Michael Hanus

Kiel University

Time Zone

The program is currently displayed in (GMT-05:00) Guadalajara, Mexico City, Monterrey.

Use conference time zone: (GMT-05:00) Guadalajara, Mexico City, MonterreySelect 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

Session Program

Mon 18 Jan
Displayed time zone: Guadalajara, Mexico City, Monterrey change

	16:00 - 17:00	Logic ProgrammingPADL at Room Bayboro

	16:00 30m Talk		The KB paradigm and its application to interactive configuration PADL Pieter Van Hertum KU Leuven, Ingmar Dasseville KU Leuven, Gerda Janssens KU Leuven, Marc Denecker KU Leuven
	16:30 30m Talk		Default Rules for Curry PADL Sergio Antoy Kiel University, Michael Hanus Kiel University