10 de octubre de 2017
Investigador de IMDEA preside tres comités de programa.
John Gallagher, investigador de IMDEA, será presidente de los comités de los eventos:
- LOPSTR 2017. 27º Simposio Internacional en Logic-based Program Synthesis and Transformation. (Copresidente del comité junto con Fabio Fioravanti). El evento tendrá lugar junto con PPDP en Namur (Bélgica) del 10 al 12 de octubre de 2017.
- FLOPS 2018. 14º Simposio Internacional en Functional and Logic Programming. (Copresidente del comité junto con Martin Sulzmann). El evento, desarrollado en cooperación con ACM SIGPLAN tendrá lugar del 9 al 11 de mayo de 2018 en Nagoya (Japan).
- VPT 2018. 6º Taller Internacional de Verification and Program Transformation, satélite de ETAPS 2018. (Presidente del comité). Este taller tendrá lugar el día 21 de abril de 2018 en Thessaloniki (Greece).