Logic List Mailing Archive

LOPSTR 09: 19th Symposium on Logic-Based Program Synthesis and Transformation

7-11 Sep 2009
Coimbra, Portugal

Nineteenth International Symposium on Logic-Based Program Synthesis
and Transformation (LOPSTR 2009) Coimbra, Portugal
September 7--11, 2009
http://www.cs.kuleuven.be/conference/lopstr09/


This year, the Symposium is co-located with the ASL-sponsored EACSL
Annual Conference on Computer Science Logic (CSL 2009; see above) and
the International ACM SIGPLAN Symposium on Principles and Practice of
Declarative Programming (PPDP 2009). The Program Chair is D. De
Schreye and the Conference Chair is A. Almeida. The members of the
Local Organizing Committee are A. Almeida, R. Kahle, and P. Quaresma.