Program Committee

Program Chairs

  • James Terwilliger (Microsoft, USA)
  • Soichiro Hidaka (National Institute of Informatics, Japan)

Program Committee

  • Anthony Cleve (University of Namur, Belgium)
  • Carlo Aldo Curino (Microsoft, USA)
  • Zinovy Diskin (McMaster University/University of Waterloo, Canada)
  • Romina Eramo (University of L'Aquila, Italy)
  • Todd Green (LogicBlox, Inc, USA)
  • Soichiro Hidaka (National Institute of Informatics, Japan)
  • Martin Hofmann (Ludwig-Maximilians-Universität Munich, Germany)
  • Zhenjiang Hu (National Institute of Informatics, Japan)
  • Marie Jacob (University Of Pennsylvania, USA)
  • Michael Johnson (Macquarie University, Australia)
  • Peter McBrien (Imperial College, UK)
  • Fernando Orejas (Technical University of Catalonia, Spain)
  • Andy Schürr (Technical University of Darmstadt, Germany)
  • Perdita Stevens (University of Edinburgh, UK)
  • James Terwilliger (Microsoft, USA)
  • Janis Voigtländer (University of Bonn, Germany)
  • Meng Wang (Chalmers University of Technology, Sweden)
  • Yingfei Xiong (Peking University, China)

External Reviewers

  • James McKinna (University of Edinburgh, UK)
  • Balder Ten Cate (University of California Santa Cruz, USA)
Unless otherwise stated, the content of this page is licensed under GNU Free Documentation License.