Revisa las contribuciones seleccionadas del simposio LOPSTR 2015 sobre síntesis lógica y transformación de programas, con estudios sobre algoritmos formales, optimización automática y su aplicación en sistemas críticos.