PADL 05: Provisional Program

Day 1: Monday, Jan 10th, 2005

12:00-1:00: REGISTRATION
1:10-2:10: Invited talk - Norman Ramsey, Harvard University
Building the World from First Principles: Declarative Machine Descriptions and Compiler Construction
2:10-2:30: COFFEE BREAK
2:30-4:00: Practical Applications
Character-Based Cladistics and Answer Set Programming
Daniel Brooks, Esra Erdem, James Minett, Donald Ringe
Specializing Narrowing for Timetable Generation: A Case Study
Nadia Brauner, Rachid Echahed, Gerd Finke, Hanns Gregor, Frederic Prost
Functional Framework for Sound Synthesis
Jerzy Karczmarczuk
4:00-4:30: COFFEE BREAK
4:30-6:30: Functional Programming
A Full Pattern-based Paradigm for XML Query Processing
Benzaken Véronique, Castagna Giuseppe, Miachon Cédric
Type Class Directives
Bastiaan Heeren, Jurriaan Hage
Improved Fusion for Optimizing Generics
Sjaak Smetsers, Artem Alimarine
The Program Inverter LRinv and its Structure
Masahiko Kawabe, Robert Glueck
8:00 pm: PADL Dinner

Day 2: Tuesday, Jan 11th, 2005

8:00-9:00: BREAKFAST
9:00-10:00: Invited talk - Saumya Debray, University of Arizona
Code Compression
10:00-10:30: COFFEE BREAK
10:30-12:00: Constraint Programming
Solving Constraints on Sets of Spatial Objects
Jesus M. Almendros-Jimenez, Antonio Corral
Discovery of Minimal Unsatisfiable Subsets of Constraints Using Hitting Set Dualization
James Bailey, Peter Stuckey
Solving Collaborative Fuzzy Agents Problems with CLP(FD)
Susana Munoz-Hernandez, Jose Manuel Gomez-Perez
12:00-1:30: LUNCH BREAK
1:30-3:00: Implementation of Logic Programming Extensions
A Provably Correct Compiler for Efficient Model Checking of Mobile Processes
Ping Yang, Yifei Dong, C.R. Ramakrishnan, Scott A. Smolka
An Ordered Logic Program Solver
Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir
Improving Memory usage in the BEAM
Ricardo Lopes, Vitor Santos-Costa
3:00-3:30: COFFEE BREAK
3:30-5:30: New Language Developments
Role-based Declarative Synchronization for Reconfigurable Systems
Vlad Tanasescu, Pawel Wojciechowski
Towards a More Practical Hybrid Probabilistic Logic Programming Framework
Emad Saad, Enrico Pontelli
Safe Programming with Pointers through Stateful Views
Dengping Zhu, Hongwei Xi
Towards Provably Correct Code Generation via Horn Logical Continuation Semantics
Qian Wang, Gopal Gupta, Michael Leuschel