Program Chairs
* [[http://www.comp.nus.edu.sg/~chinwn/][Wei-Ngan Chin]] (National University of Singapore, Singapore)
* [[http://www.cs.uu.nl/wiki/Hage/WebHome][Jurriaan Hage]] (Utrecht University, Netherlands)
Program Committee Members
* [[https://www.lri.fr/~contejea/][Évelyne Contejean]] (LRI, CNRS, Université Paris-Sud, France)
* [[http://www.cs.ox.ac.uk/people/cristina.david/][Cristina David]] (University of Oxford, UK)
* [[http://alain.frisch.fr/][Alain Frisch]] (!LexiFi, France)
* [[http://www.cs.ubc.ca/~rxg/][Ronald Garcia]] (University of British Columbia, Canada)
* [[http://research.nii.ac.jp/~hu/][Zhenjiang Hu]] (National Institute of Informatics, Japan)
* [[http://www.doc.ic.ac.uk/~phjk/][Paul H J Kelly]] (Imperial College, UK)
* [[http://okmij.org/ftp/][Oleg Kiselyov]] (Monterey, USA)
* [[http://www-kb.is.s.u-tokyo.ac.jp/~koba/][Naoki Kobayashi]] (University of Tokyo, Japan)
* [[http://www0.cs.ucl.ac.uk/staff/j.krinke/][Jens Krinke]] (University College London, UK)
* [[http://www.cs.indiana.edu/~rrnewton/homepage.html][Ryan Newton]] (University of Indiana, USA)
* [[http://www.fing.edu.uy/~pardo/][Alberto Pardo]] (Universidad de la República, Uruguay)
* [[http://www.cs.cmu.edu/~gla/][Sungwoo Park]] (Pohang University of Science and Technology, South Korea)
* [[http://tiarkrompf.github.io/][Tiark Rompf]] (Oracle Labs & EPFL, Switzerland)
* [[http://plrg.kaist.ac.kr/ryu][Sukyoung Ryu]] (KAIST, South Korea)
* [[http://user.it.uu.se/~kostis/][Kostis Sagonas]] (Uppsala University, Sweden)
* [[http://www.ntu.edu.sg/home/schaefer/][Max Schaefer]] (Nanyang Technological University, Singapore)
* [[http://ww2.cs.mu.oz.au/~harald/][Harald S øndergaard]] (The University of Melbourne, Australia)
* [[http://www.kb.ecei.tohoku.ac.jp/~sumii/][Eijiro Sumii]] (Tohoku University, Japan)
* [[http://www-users.cs.umn.edu/~evw/][Eric Van Wyk]] (University of Minnesota, USA)
* [[http://www.cl.cam.ac.uk/projects/ocamllabs/people/yallop.html][Jeremy Yallop]] (University of Cambridge, UK)
Steering Committee
%INCLUDE{SteeringCommittee}%