Daily Schedule

8:30-9:00: continental breakfast
9:00-10:00: invited talk
10:00-10:30: coffee break
10:30-12:00: 3 talk
1:30-3:30: 4 talks
3:30-4:00: coffee break
4:00-5:30: 3 talks

---

Day 1:

Invited talk: John Launchbury

P28. Certified development tools implementation in Objective Caml
P44. Automatic Coding Rule Conformance Checking Using Logic Programming
P29. Comprehension and dependency analysis of aspect-oriented programs through declarative reasoning

P13. Efficient Reasoning for Nogoods in Constraint Solvers with BDDs
P43. Flexible, Rule-based Constraint Model Linearisation
P11. Abduction The Role of Abduction in Declarative Authorization Policies
P34. Unification of Arrays in Spreadsheets with Logic Programming

P23. Specialising Simulator Generators for High-Performance Monte-Carlo Methods
P35. A Generic Programming Toolkit for PADS/ML: First-Class Upgrades for Third-Party Developers
P41. Matchete: Paths through the Pattern Matching Jungle

Day 2:

Invited talk: Walter Wilson

P17. Parser Combinators for Ambiguous Left-Recursive Grammars
P40. DCGs + Memoing = Packrat Parsing: But is it worth it?
P38. An Improved Continuation Call-Based Implementation of Tabling

P22. Scheduling light-weight parallelism in ARTCOP
P16. Towards a High-Level Implementation of Execution Primitives for Unrestricted, Independent And-parallelism
P26. Hierarchical Master-Worker Skeletons
P19. High-level multi-threading programming in Logtalk

P31. Switched-on Yampa: Declarative Programming of Modular Synthesizers
P25. Model-Based Testing of Thin-Client Web Applications and Navigation Input
P7.  High-Level Database Programming in Curry