12:00 | - | 1:00 | : |
REGISTRATION |
1:00 | - | 1:10 | : |
WELCOME AND OPENING REMARKS |
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 |
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
|
5:30 pm | : |
END OF SYMPOSIUM |