| 8:00 | - | 9:00 | : |
Breakfast and Registration |
| 9:00 | - | 9:10 | : |
Opening Remarks |
| 9:10 | - | 10:10 | : |
Invited talk - Philip Wadler
|
| | | |
Links: Linking Theory to Practice for the Web
|
| 10:10 | - | 10:30 | : |
Coffee Break |
| 10:30 | - | 12:00 | : |
Practical Applications |
| | | |
Using CHRs to generate functional test cases for the Java Card Virtual Machine
Sandrine-Dominique Gouraud and Arnaud Gotlieb
|
| | | |
Probabilistic-logical Modeling of Music
Jon Sneyers, Joost Vennekens and Danny De Schreye
|
| | | |
Modeling Genome Evolution with a DSEL for Probabilistic Programming
Martin Erwig and Steve Kollmansberger
|
| 12:00 | - | 2:00 | : |
Lunch Break (on your own) |
| 2:00 | - | 3:30 | : |
Constraint Programming |
| | | |
Using Dominators for Solving Constrained Path Problems
Luis Quesada, Peter Van Roy, Yves Deville and Raphaël Collet
|
| | | |
Adding constraint solving to Mercury
Ralph Becket, Maria Garcia de la Banda, Kim Marriott, Zoltan Somogyi, Peter Stuckey and Mark Wallace
|
| | | |
A Hybrid BDD and SAT Finite Domain Constraint Solver
Peter Hawkins and Peter Stuckey
|
| 3:30 | - | 4:00 | : |
Coffee Break |
| 4:00 | - | 5:00 | : |
Analysis and Verification |
| | | |
Efficient top-down set-sharing analysis using cliques
Jorge Navas, Francisco Bueno and Manuel Hermenegildo
|
| | | |
Automatic Verification of a Model Checker by Reflection
Bow-Yaw Wang
|
| 8:00 pm | : |
PADL Dinner |