19th International Symposium on
Logic-Based Program Synthesis and Transformation
LOPSTR 2009
Coimbra, Portugal
September 9-11, 2009
Symposium Program
Wednesday, September 9, 2009
8.55: Opening of the Symposium
9.00: Invited talk LOPSTR 2009 (session chairman D. De Schreye):
German Vidal.
Towards scalable partial evaluation of declarative programs
10.00: Invited talk PPDP 2009:
Ralf Lämmel (U. Koblenz).
Scrap your boilerplate -- prologically!
Coffee break
11.30: Session 1 - Transformation 1 (session chairman M. Hanus):
Alberto Pettorossi, Maurizio Proietti and Valerio Senni:
Deciding Full Branching Time Logic by Program Transformation
Paolo Pilozzi, Tom Schrijvers and Maurice Bruynooghe:
A transformational approach for proving properties of the CHR constraint store
Afternoon: Social event
Evening: Conference Dinner
Thursday, September 10, 2009
9.00: Session 2 - Termination - Dedicated to Manh Thang Nguygen (session chairman W. Vanhoof):
Peter Schneider-Kamp, Jürgen Giesl and Manh Thang Nguyen:
The Dependency Triple Framework for Termination of Logic Programs
Jose Iborra, Naoki Nishida and German Vidal:
Improving the Termination Analysis of Narrowing in Left-Linear Constructor Systems
Marcin Czenko and Sandro Etalle:
LP with Flexible Grouping and Aggregates Using Modes
Coffee break
11.00: Session 3 - Coinductive reasoning (session chairman A. Pettorossi):
Hirohisa Seki:
On Inductive and Coinductive Proofs via Unfold/fold Transformations
Richard Min and Gopal Gupta:
Coinductive Logic Programming with Negation
Lunch break
14.00: Session 4 - Synthesis and Refinement (session chairman H. Seki):
Luca Chiarabini and Philippe Audebaud:
New Development in Extracting Tail Recursive Programs from Proofs
Susumu Nishimura:
Refining Exceptions in Four-Valued Logic
Coffee break
15.30: Session 5 - Testing (session chairman G. Janssens):
Tom Schrijvers, François Degrave and Wim Vanhoof:
Towards a framework for constraint-based test case generation
Lacramioara Astefanoaei, Frank S. de Boer and M. Birna van Riemsdijk:
Using Strategies for Testing BUpL Agents
Friday, September 11, 2009
9.00: Session 6 - Transformation 2 (session chairman P. Stepanek):
Carl Friedrich Bolz, Michael Leuschel and Armin Rigo:
Towards Just-In-Time Partial Evaluation of Prolog
Leonardo Scandolo, César Kunz, Gilles Barthe and Manuel Hermenegildo:
Program Parallelization using Synchronized Pipelining
Pedro Cabalar, David Pearce and Agustín Valverde:
Safety Preserving Transformations for General Answer Set Programs
Coffee break
11.00: Session 7 - Rewriting (session chairman P. Schneider-Kamp):
Bernd Brassel and Rudolf Berghammer:
Functional (Logic) Programs as Equations over Order-Sorted Algebras
M. Alpuente, M. A. Feliu, C. Joubert and A. Villanueva:
Defining Datalog in Rewriting Logic
Closing
Dean Voets
Last modified: Thursday June 18 11:44 CEST 2009