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

Lunedì, 13 Luglio, 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.
 
Icona del PDF program.pdf