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


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


PICTURES