IMDEA Software

IMDEA initiative

Home > News > 2017 > IMDEA researcher is chairing three program committees.

October 10, 2017

IMDEA researcher is chairing three program committees.

IMDEA researcher John Gallagher will be the program chair of the following events.

  1. 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.
  2. 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.
  3. VPT 2018. Sixth International Workshop on Verification and Program Transformation (satellite workshop at ETAPS 2018). (PC chair). April 21st, 2018, Thessaloniki, Greece.