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

PADL-2016-papers
16:00 - 17:00: PADL - Logic Programming at Room Bayboro
PADL-2016-papers16:00 - 16:30
Talk
Pieter Van HertumKU Leuven, Ingmar DassevilleKU Leuven, Gerda JanssensKU Leuven, Marc DeneckerKU Leuven
PADL-2016-papers16:30 - 17:00
Talk
Sergio AntoyKiel University, Michael HanusKiel University