PADL
Mon 18 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
Mon 18 Jan 2016 16:00 - 16:30 at Room Bayboro - Logic Programming

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