24th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2015)

Monday, July 13, 2015 - 09:00
The 24th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2015) will be held at the University of Siena, Siena, Italy,
from 13-15 July 2015.
 
PDF icon program.pdf