Manuel Hermenegildo y Pedro López, investigadores del Instituto IMDEA Software, han presidido el Comité de Programa del 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016) celebrado en Edimburgo, UK, del 6 al 8 de septiembre de 2016, en conjunción con los congresos 18th International Symposium on Principles and Practice of Declarative Programming, PPDP, y 23rd. Static Analysis Symposium, SAS. El programa seleccionado se puede encontrar aquí. El simposio internacional sobre tranformación y síntesis de programas basado en la lógica promueve la investigación y colaboración internacional en el desarrollo de programas con utilizando técnicas de la lógica, en cualquier paradigma de programación.
