Photos from the 20th International Symposium on Logic-Based Program Synthesis and Transformation.
July 23-25, 2010. Hagenberg, Austria
Photo album created with Web Album Generator