Program

Thursday 23 August

09:00 Session on Termination (Andy King to chair)
Michael Codish.
Proving Termination with (Boolean) Satisfaction (LOPSTR invited talk)
10:00 Manh Thang Nguyen, Jürgen Giesl, Peter Schneider-Kamp and Daniel De Schreye.
Termination Analysis of Logic Programs based on Dependency Graph
  Coffee break
11:00 Session on Transformation (Michael Hanus to chair)
Elvira Albert, John Gallagher, Miguel Gomez-Zamalloa and German Puebla.
Typed-based Homeomorphic Embedding for Online Termination
  Jiri Vyskocil and Petr Stepane.
Improving Efficiency of Prolog Programs by Fully Automated Transformation
François Degrave and Wim Vanhoof.
Towards a normal form for Mercury programs
12:30 Lunch
14:00 Session on Constraint Solving (Elvira Albert to chair)
Peter Van Weert, Jon Sneyers and Bart Demoen.
Aggregates for CHR through Program Transformation
  Slim Abdennadher and Ingi Sobhi.
Generation of Rule-based Constraint Solvers: Combined Approach
Ye Zhang and Flemming Nielson.
A Scalable Inclusion Constraint Solver Using Unification
15:30 Excursion & conference dinner

Friday 24 August

09:00 Alan Mycroft.
Hardware-Oriented Program Properties (SAS invited talk)
10:00 Session on Analysis and Transformation (Jacob Howe to chair)
Amadeo Casas, Manuel Carro and Manuel Hermenegildo.
Annotation Algorithms for Unrestricted Independent AND-Parallelism in Logic Programs
  Coffee break
11:00 Session on Analysis and Transformation (John Gallagher to chair)
Mario Mendez, Jorge Navas and Manuel Hermenegildo.
A Flexible, CLP-based Approach to the Analysis of Object-Oriented Program
  Sebastian Fischer, Josep Silva, Salvador Tamarit and German Vidal.
Preserving Sharing in the Partial Evaluation of Lazy Functional Programs
Bernd Brassel and Jan Christiansen.
Denotation by Transformation - Towards Obtaining a Denotational Semantics by Transformation to Point-free Style
12:30 Lunch
14:00 Session on Modelling and Synthesis (Wim Vanhoof to chair)
Mauro Ferrari, Camillo Fiorentini, Alberto Momigliano and Mario Ornaghi.
Snapshot Generation in a Constructive Object-oriented Modeling Language
  Michel Sintzof.
Symbolic Generation of Optimal Control Policies for Discrete-Time Systems
Iman Poernomo.
Synthesis of Data Views for Communicating Processes
  Coffee break
16:00 Session on Security (Mario Ornaghi to chair)
Barbara Fila and Siva Anantharaman.
A Clausal View for Access Control and XPath Query Evaluation
  Annalisa Bossi, Carla Piazza and Sabina Rossi.
Action Refinement in Process Algebra and Security Issues