Overview
This symposium will consist of a collection of short invited talks on the state of the art, recent advances, historical perspectives, techniques and tools in the general areas of analysis, verification and transformation for declarative programming (including logic, constraint and functional programming) and the development of intelligent systems. Contributions to the symposium, as well as others from people unable to attend, will later be gathered into a volume.
The symposium will take place at the IMDEA Software Institute, Madrid, Spain.
Program
| 9:30-10:00 | Welcome Coffee |
|---|---|
| 10:00 | Opening |
| 10:10 | Patrick Cousot. Abstract Interpretation of Graphs |
| 10:35 | Andy King. Calculating Best Abstractions |
| 11:00-11:25 | Coffee Break |
| 11:25 | Maria Garcia de la Banda. Analysing and CP Models: an Instance-based Approach |
| 11:50 | David S. Warren. Managing State Logically in Tabled Prolog |
| 12:15 | María Alpuente. Enforcing Safety in Maude via Program Specialization |
| 12:40 | Narciso Martí Oliet. Maude Strategies for Narrowing |
| 13:05-14:30 | Lunch Break |
| 14:30 | Martin Wirsing. Towards Systematically Engineering Adaptive Systems |
| 14:55 | Veronica Dahl. Transforming an English Grammar into that of the CHOL Indigenous Language: Hope for Under-Resourced Languages. |
| 15:20 | Peter Stuckey. From CLP(R) to MiniZinc |
| 15:45-16:10 | Coffee Break |
| 16:10 | Mike Codish. Incremental Symmetry Breaking Constraints for Graph Search Problems |
| 16:35 | Gopal Gupta. Static Analysis of Answer Set Programs under a Query-driven Regime |
| 17:00 | Ricardo V. Peña Mari. SMT-based Test-Case Synthesis for Complex Preconditions |
| 17:25 | Wrap-up |
| 17:40-18:05 | Closing (Manuel Hermenegildo) |
Organization
The symposium is jointly organized by the
IMDEA Software Institute and the
University of Verona.
John P. Gallagher
Roberto Giacobazzi
Pedro Lopez-Garcia
