19th International Symposium on Formal Methods

Committees

General Chair

  • David Naumann, Stevens Institute of Technology, USA.

    • Organisation Chair

  • Jin Song Dong, National University of Singapore, Singapore.

    • Program Committee

  • Bernhard K. Aichernig, Graz University of Technology, Austria.

  • Hugh Anderson, National University of Singapore, Singapore.

  • Jonathan P. Bowen, Birmingham City University, United Kingdom.

  • Ana Cavalcanti, University of York, United Kingdom.

  • Andrew Butterfield, Trinity College Dublin, Ireland.

  • Leo Freitas, Newcastle University, United Kingdom.

  • Jeremy Gibbons, University of Oxford, United Kingdom.

  • Lindsay Groves, Victoria University of Wellington, New Zealand.

  • Walter Guttmann, University of Canterbury, New Zealand.

  • Ian Hayes, University of Queensland, Austria.

  • Jeremy Jacob, University of York, United Kingdom.

  • Zhiming Liu, Birmingham City University, United Kingdom.

  • David Naumann, Chair, Stevens Institute of Technology, USA.

  • Marcel Oliveira, Universidade Federal do Rio Grande do Norte, Brazil.

  • Geguang Pu, East China Normal University, China.

  • Shengchao Qin, Teesside University, United Kingdom.

  • Georg Struth, University of Sheffield, United Kingdom.

  • Jun Sun, Singapore University of Technology and Design, Singapore.

  • Meng Sun, Peking University, China.

  • Burkhart Wolff, University of Paris-Sud, France.

  • Naijun Zhan, Chinese Academy of Sciences, China.

  • Huibiao Zhu, East China Normal University, China.