POPL 2019 (series) / PADL 2019 (series) /
PADL 2019 Program
This is the PADL 2019 program - see the full program for POPL 2019 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 14 JanDisplayed time zone: Belfast change
Mon 14 Jan
Displayed time zone: Belfast change
14:00 - 15:30 | |||
13:50 10mDay opening | PADL Opening and Welcome PADL Moa Johansson Chalmers University of Technology, José Julio Alferes NOVA LINCS -- Universidade Nova de Lisboa | ||
14:00 30mTalk | Natural Language Generation From Ontologies PADL | ||
14:30 30mTalk | Incremental Evaluation of Lattice-Based Aggregates in Logic Programming Using Modular TCLP PADL File Attached | ||
15:00 30mTalk | Improving Residuation in Declarative Programs PADL Michael Hanus Kiel University File Attached |
16:00 - 17:30 | |||
16:00 30mTalk | Faster Coroutine Pipelines: A Reconstruction PADL | ||
16:30 30mTalk | Distributed Protocol Combinators PADL Kristoffer Just Arndal Andersen Aarhus University, Ilya Sergey Yale-NUS College and National University of Singapore Pre-print | ||
17:00 30mTalk | Classes of Arbitrary Kind PADL Alejandro Serrano Utrecht University, Netherlands, Victor Cacciari Miraldo Utrecht University, Netherlands Link to publication DOI File Attached |
Tue 15 JanDisplayed time zone: Belfast change
Tue 15 Jan
Displayed time zone: Belfast change
09:00 - 10:30 | |||
09:30 30mTalk | Personalized Course Schedule Planning using Answer Set Programming PADL File Attached | ||
10:00 30mTalk | Static Partitioning of Spreadsheets for Parallel Execution PADL File Attached |
11:00 - 12:30 | |||
11:00 30mTalk | An ASP-based Approach to Representing and Querying Textual Knowledge PADL | ||
11:30 30mTalk | Strong Equivalence and Program's Structure in Arguing Essential Equivalence PADL Yuliya Lierler University of Nebraska | ||
12:00 30mTalk | Automatic Program Rewriting in Non-Ground Answer Set Programs PADL |
14:00 - 15:30 | |||
14:00 30mTalk | Composing Syntactical Constructs to Create Domain-Specific Languages PADL DOI Media Attached | ||
14:30 30mTalk | Proof Carrying Plans PADL Christopher Schwaab University of St Andrews, Ekaterina Komendantskaya Heriot-Watt University, UK, Alasdair Hill , Frantisek Farka , Ron Petrick , Joe Wells , Kevin Hammond University of St. Andrews, UK | ||
15:00 30mTalk | A Combinatorial Testing Framework for Intuitionistic Propositional Theorem Provers PADL Paul Tarau University of North Texas |