Ca' Foscari logo LOPSTR 2006  
International Symposium on
Logic-based Program Synthesis and Transformation

July 12 - 14, 2006
S. Servolo, Venice - Italy

PICTURES