MONDAY, January 19, 2009

Breakfast (8:00-9:00)

Invited talk (9:00-10:00):

• On Preferring and Inspecting Abductive Models. Luís Moniz Pereira (presenting) (Universidade Nova de Lisboa), Pierangelo Dell'Acqua (Linköping University) Gonçalo Lopes (Universidade Nova de Lisboa).

Break (10:00-10:30)

Session 1 (10:30-12:00):

• Declarative Programming of User Interfaces. Michael Hanus, Christof Kluß (Institut für Informatik, CAU Kiel).
• Huge Data but Small Programs: Visualization Design via Multiple Embedded DSLs. D.J. Duke, R. Borgo (University of Leeds), M. Wallace, C. Runciman (University of York).
• Toward a Practical Module System for ACL2. Carl Eastlund, Matthias Felleisen (Northeastern University).

Lunch (12:00-1:30) (on your own)

Session 2 (1:30-3:00):

• Declarative Network Verification. Anduo Wang (University of Pennsylvania), Prithwish Basu (Network Research Group, BBN Technologies), Boon Thau Loo, Oleg Sokalsky (University of Pennsylvania).
• Operational Semantics for Declarative Networking. Juan A. Navarro, Andrey Rybalchenko (Max Planck Institute for Software Systems).
• Ad Hoc Data and the Token Ambiguity Problem. Qian Xi (Princeton University), Kathleen Fisher (AT&T Research), David Walker, Kenny Q. Zhu (Princeton University).

Break (3:00-3:30)

Session 3 (3:30-5:00):

• High Level Thread-Based Competitive Or-Parallelism in Logtalk. Paulo Moura (University of Beira Interior), Richard Rocha (University of Porto), Sara C. Madeira (University of Beira Interior).
• Implementing Thread Cancellation in Multithreaded Prolog Systems. Atef Suleiman, John Miller (Washington State University).
• Interoperating Logic Engines. Paul Tarau (University of North Texas) and Arun Majumdar (Vivamind Intelligence, Inc.).

PADL Dinner (6:30) (paid by PADL): Location TBA

TUESDAY, January 20, 2009

Breakfast (8:00-9:00)

Invited talk (9:00-10:00):

• Applying Declarative Languages to Commercial Hardware Design. Jeff Lewis, (Signali Inc.).

Break (10:00-10:30)

Session 1 (10:30-12:00):

• High-level interaction with relational databases in logic programming. Antònio Porto (University of Porto).
• Typed Datalog. David Zook, Emir Pasalic, Beata Sarna-Starosta (LogicBlox, Inc.).
• Using Bloom filters for large scale gene sequence analysis in Haskell. Ketil Malde (Institute of Marine Research) and Bryan O'Sullivan (Serpentine Green Design).

Lunch (12:00-1:30) (on your own)

Session 2 (1:30-3:00):

• One Table Fits All. Jorge Costa, Ricardo Rocha (University of Porto).
• Recycle Your Arrays! Roman Leshchinskiy (University of New South Wales).
• Towards a Complete Scheme for Tabled Execution Based on Program Transformation. Pablo Chico de Guzman, Manuel Carro, Manuel V. Hermenegildo (Univ. Politècnica de Madrid).

Break (3:00-3:30)

Session 3 (3:30-5:00):

• Improving Performance of Conformant Planners: Static Analysis of Declarative Planning Domain Specifications. Dang-Vien Tran, Hoang-Khoi Nguyen, Enrico Pontelli, Tran Cao Son (New Mexico State Univeristy).
• Layered Models Top-Down Querying of Normal Logic Programs. Luís Moniz Pereira, Alexandre Miguel Pinto (Universidade Nova de Lisboa).
• Secure Implementation of Meta-predicates. Paulo Moura (University of Beira Interior).