Workshop on Applications of Logic Programming (AppLP)

Monday October 17, 2016

8:45 Registration

Session 1: Enterprise Software and More

9:00 Opening: David Warren
9:20 Invited talk: Molham Aref
Presentations by invited participants:
10:00 Jeffrey Rosenwald: Logic Programming in the Materials Handling and Logistics Industries
10:15 Iliano Cervesato and Edmund Soon Lee Lam: Concurrent Logic Programming: Met and Unmet Promises

10:30 Coffee break

Session 2: Control Systems and More

11:00 Invited talk: Marcello Balduccini
Presentations by invited participants:
11:40 Jorge Lobo, Alessandra Russo, and Emil Lupu: Distributed Systems Management: Logic Programming Solutions and Challenges
11:55 Panel discussion: Concurrent and Distributed Systems, Integration
Invited panelists: Manuel Hermenegildo, Boon Thau Loo, Teri Swift, Jan Wielemaker

12:30 Lunch for invited participants

Session 3: Intelligent Agents

14:00 Invited talk: Francesco Ricca
Presentations by invited participants:
14:40 Gopal Gupta: Building Large-Scale Knowledge-Based Systems with ASP
14:55 Panel discussion: Knowledge and Constraint Systems, Integration
Invited panelists: Marc Denecker, Michael Gelfond, Torsten Schaub, Mirek Truszczynski, 

15:30 Coffee break

Session 4: Deep Analysis

16:00 Invited talk: CR Ramakrishnan
Presentations by invited participants:
16:40 Nikolaj Bjorner, Andrey Rybalchenko, and Nuno Lopes: Horn Clause Solvers for Network Verification
16:55 Paul Tarau: Logic Programming: from NLP to NLU?
17:10 Open discussion: directions for research and applications: Big Data Analysis in Depth and Scale
17:25 Closing: Annie Liu and David Warren

17:30 ICLP Conference Reception

19:00 Dinner for invited participants