IMDEA researcher John Gallagher will be the program chair of the following events.
- LOPSTR 2017. 27th International Symposium on Logic-based Program Synthesis and Transformation. (PC co-chair with Fabio Fioravanti). Will take place co-located with PPDP in Namur, October 10-12 2017.
- FLOPS 2018. 14th International Symposium on Functional and Logic Programming. (PC co-chair with Martin Sulzmann). In cooperation with ACM SIGPLAN. 9-11 May, 2018, Nagoya, Japan.
- VPT 2018. Sixth International Workshop on Verification and Program Transformation (satellite workshop at ETAPS 2018). (PC chair). April 21st, 2018, Thessaloniki, Greece.