POPL 2017 (series) / PADL 2017 (series) /
PADL 2017 Program
This is the PADL 2017 program - see the full program for POPL 2017 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 16 JanDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Mon 16 Jan
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:50 - 09:00 | Opening remarksPADL at Salle 116, Barre 44-54 Chair(s): Yuliya Lierler University of Nebraska, Walid Taha Halmstad University | ||
08:50 10mTalk | Opening remarks PADL |
09:00 - 10:00 | |||
09:00 60mTalk | Proof checking and logic programming PADL Dale Miller INRIA Saclay and LIX |
10:30 - 12:00 | |||
10:30 30mTalk | Lowering the learning curve for declarative programming: a Python API for the IDP system PADL Joost Vennekens KU Leuven | ||
11:00 30mTalk | Extending Answer Set Programs with Interpreted Functions as First-class Citizens PADL Christoph Redl Vienna University of Technology | ||
11:30 30mTalk | Integrating Answer Set Programming with Object-oriented Languages PADL |
14:00 - 15:30 | |||
14:00 30mTalk | Failing Faster: Overlapping Patterns for Property-Based Testing PADL | ||
14:30 30mTalk | Boltzmann Samplers for Closed Simply-Typed Lambda Terms PADL Maciej Bendkowski Jagiellonian University, Katarzyna Grygiel Jagiellonian University, Paul Tarau University of North Texas | ||
15:00 30mTalk | Selection Equilibria of Higher-Order Games PADL Paulo Oliva Queen Mary University of London, Jules Hedges University of Oxford, Viktor Winschel ETH Zürich, Philipp Zahn University of St. Gallen, Evguenia Shprits University of Mannheim |
16:00 - 17:30 | |||
16:00 30mTalk | A Domain-Specific Language for Software-Defined Radio PADL Geoffrey Mainland Drexel University | ||
16:30 30mTalk | A Declarative DSL for Customized Rendering of Text-Based Art PADL | ||
17:00 30mTalk | Using Iterative Deepening for Probabilistic Logic Inference PADL |
Tue 17 JanDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Tue 17 Jan
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:00 | |||
09:00 30mTalk | Funky Grooves: Declarative Programming of Full-Fledged Musical Applications PADL | ||
09:30 30mTalk | DALI for Cognitive Robotics: Principles and Prototype Implementation PADL Stefania Costantini Dipartimento di Ingegneria e Scienze dell'Informazione eMatematica, Univ. dell'Aquila, Giovanni De Gasperis Dipartimento di Ingegneria e Scienze dell'Informazione eMatematica, Giulio Nazzicone Dipartimento di Ingegneria e Scienze dell'Informazione eMatematica |
10:30 - 12:00 | |||
10:30 30mTalk | Improving Non-deterministic Computations in Functional Logic Programs PADL | ||
11:00 30mTalk | Canonicalizing High-Level Constructs in Picat PADL | ||
11:30 30mTalk | An Overview of PRhoLog PADL Besik Dundua Institute of Applied Mathematics, Tbilisi State University, Temur Kutsia , Klaus Reisenberger-Hagmayer Johannes Kepler University Linz |