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


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


ISOLA DI SAN SERVOLO, VENEZIA

Vista di S. Servolo da Sud

LOPSTR 2006 will be held on the islan of San Servolo on the Venetian Lagoon, which hosts the Venice International University (VIU) Campus, and the freshly renovated conference center of the Provincia di Venezia.

Enjoy a virtual tour of the island, with its lecture halls, computer rooms, on-campus accommodations, the university cantine, and the beautiful garden and buildings.