LOPSTR 2006
International Symposium on
Logic-based Program Synthesis and Transformation
July 12 - 14, 2006
S. Servolo, Venice - Italy
INVITED SPEAKERS
Shaz Qadeer
(Microsoft Research, Redmond, USA)
Massimo Marchiori
(MIT, USA and Univ of Padova, Italy)
