POPL 2020 (series) / PADL 2020 (series) /
PADL 2020 Program
This is the PADL 2020 program - see the full program for POPL 2020 and all affiliated events.
Filter Program
Dates
Mon 20 Jan 2020
Tue 21 Jan 2020
Rooms
Bacchus
Tracks
PADL
Badges
Nothing to filter
Your Program
Nothing to filter
Mon 20 JanDisplayed time zone: Saskatchewan, Central America change
Mon 20 Jan
Displayed time zone: Saskatchewan, Central America change
08:30 - 10:00 | Logical Engines and ApplicationsPADL at Bacchus Chair(s): Ekaterina Komendantskaya Heriot-Watt University, UK | ||
08:30 15mDay opening | Opening PADL | ||
08:45 50mTalk | Invited Talk: Logical Engines for Cloud Configurations PADL | ||
09:35 25mTalk | Interactive Text Graph Mining with a Prolog-based Dialog Engine PADL | ||
10:30 - 12:00 | Answer Set Programming SystemsPADL at Bacchus Chair(s): Neng-Fa Zhou CUNY Brooklyn College and Graduate Center | ||
10:30 25mTalk | AQuA: ASP-based Visual Question Answering PADL | ||
10:55 15mShort-paper | Diagnosing Data Pipeline Failures Using Action Languages: A Progress Report PADL | ||
11:10 15mShort-paper | VRASP: A Virtual Reality Environment for Learning Answer Set Programming PADL Vinh The Nguyen Texas Tech University, Yuanlin Zhang , Kwanghee Jung , Wanli Xing , Tommy Dang Texas Tech University | ||
11:25 35mOther | Panel: Programming with logic for the masses PADL Nikolaj Bjørner Microsoft Research, Paul Tarau University of North Texas, Eduardo Blanco , Kinjal Basu , Farhad Shakerin , Gopal Gupta , Alex Brik , Jeffrey Xu UCLA, Vinh The Nguyen Texas Tech University, Yuanlin Zhang , Kwanghee Jung , Wanli Xing , Tommy Dang Texas Tech University | ||
13:30 - 15:00 | Memory and Real-Time in Functional ProgrammingPADL at Bacchus Chair(s): John Hughes Chalmers University of Technology, Sweden | ||
13:30 25mTalk | On the Effects of Integrating Region-based Memory Managemen and Generational Garbage Collection in ML PADL | ||
13:55 25mTalk | RTMLton: An SML Runtime for Real-Time Systems PADL | ||
14:20 25mTalk | A Timed IO Monad PADL David Janin Bordeaux INP / CNRS LaBRI / Bordeaux University | ||
14:45 15mOther | Panel: Memory and real-time programming in practice PADL Martin Elsman University of Copenhagen, Denmark, Niels Hallenberg , Bhargav Shivkumar , Jeffrey Murphy , Lukasz Ziarek SUNY Buffalo, USA, David Janin Bordeaux INP / CNRS LaBRI / Bordeaux University | ||
15:30 - 17:00 | |||
15:30 25mTalk | Flexible Graph Matching and Graph Edit Distance Using Answer Set Programming PADL | ||
15:55 25mTalk | On Repairing Web Services Workflows PADL | ||
16:20 40mTalk | Competitive Programming with PiCat PADL Neng-Fa Zhou CUNY Brooklyn College and Graduate Center | ||
Tue 21 JanDisplayed time zone: Saskatchewan, Central America change
Tue 21 Jan
Displayed time zone: Saskatchewan, Central America change
08:30 - 10:00 | |||
08:30 50mTalk | Invited Talk: Symbolic Reasoning About Machine Learning Systems PADL Adnan Darwiche UCLA | ||
09:20 25mTalk | Exploiting Database Systems and Treewidth for Counting PADL | ||
09:45 15mShort-paper | Whitebox Induction of Default Rules Using High-Utility Itemset Mining PADL | ||
10:30 - 12:00 | Small Languages and ImplementationPADL at Bacchus Chair(s): James Cheney University of Edinburgh, UK | ||
10:30 25mTalk | Explanations for Dynamic Programming PADL | ||
10:55 25mTalk | A DSL for Integer Range Reasoning: Partition, Interval and Mapping Diagrams PADL | ||
11:20 15mShort-paper | Variability-aware Datalog PADL | ||
11:35 25mOther | Panel: Reasoning for machine learning at large PADL Adnan Darwiche UCLA, Johannes K. Fichte TU Dresden, Markus Hecher , Patrick Thier , Stefan Woltran , Farhad Shakerin , Gopal Gupta , Martin Erwig Oregon State University, Prashant Kumar , Alan Fern , Johannes Eriksson , Masoumeh Parsa , Ramy Shahin , Marsha Chechik University of Toronto | ||
13:30 - 15:00 | Invited Experience and Direction SessionPADL at Bacchus Chair(s): Konstantinos (Kostis) Sagonas Uppsala University, Sweden, David Warren Stony Brook University | ||
13:30 30mTalk | Invited Talk: Relational Artificial Intelligence PADL Molham Aref Relational.ai | ||
14:00 30mTalk | Invited Talk: Learning Interpretable Rules from Structured Data PADL Mayur Naik University of Pennsylvania | ||
14:30 30mTalk | Invited Talk: An Introduction to the Imandra Automated Reasoning System PADL Grant Passmore Imandra Inc. | ||
15:30 - 17:00 | Invited Experience and Direction Session (Continued)PADL at Bacchus Chair(s): Y. Annie Liu Stony Brook University, Konstantinos (Kostis) Sagonas Uppsala University, Sweden, David Warren Stony Brook University | ||
15:30 30mTalk | Invited Talk: We Are All Poor Schmucks: On the Value of Gradual Types PADL Philip Wadler University of Edinburgh, UK | ||
16:00 45mOther | Panel: Experience and Direction PADL I: Molham Aref Relational.ai, I: Mayur Naik University of Pennsylvania, I: Grant Passmore Imandra Inc., I: Philip Wadler University of Edinburgh, UK | ||
16:45 15mDay closing | Closing PADL | ||