SPONSORS

UTP 2012 : 4th International Symposium on Unifying Theories of Programming

Committees


Chairs

Organisation Chair


Program Committee

  • Bernhard M÷ller, Universitat Augsburg, Germany.
  • David Naumann, Stevens Institute of Technology, US.
  • Geguang Pu, East China Normal University, China.
  • Shengchao Qin, University of Teesside, UK.
  • Zongyan Qiu, Peking University, China.
  • Georg Struth, University of Sheffield, UK.
  • Jun Sun, Singapore U. of Technology and Design, Singapore.
  • Jim Woodcock, University of York, UK.
  • Naijun Zhan, Chinese Academy of Sciences, China.
  • Huibiao Zhu, East China Normal University, China.

Steering Committee

  • Andrew Butterfield, Trinity College Dublin, Ireland.
  • Steve Dunne, University of Teesside, UK.
  • Tony Hoare, Microsoft Research Cambridge, UK.
  • Jifeng He, East China Normal University, China.
  • Shengchao Qin, University of Teesside, UK.