19th International Symposium on Formal Methods

Organizing Committees

General Chair

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

    • Program Committee Co-Chairs

  • Cliff B Jones, Newcastle University, United Kindom.
  • Pekka Pihlajasaari, Data Abstraction (Pty) Ltd, South Africa.
  • Jun Sun, Singapore University of Technology and Design, Singapore.

    • Doc Symposium Chair

  • Annabelle McIver, Macquarie University, Australia.

    • Workshop Chair

  • Shengchao Qin, University of Teesside, United Kindom.

    • Publicity Chair

  • Jonathan Bowen, London South Bank University, United Kindom.

  • Kenji Taguchi, AIST, Japan.

    • Tutorial Chair

  • Richard Paige, University of York, United Kindom.

    • Local Chair

  • Yang Liu, Nanyang Technological University, Singapore.

    • Program Committee

  • Bernhard Aichernig, Austria.

  • Richard Banach, School of Computer Science, University of Manchester, United Kingdom.

  • Juan Bicarregui, Rutherford Appleton Laboratory, United Kingdom.

  • Andrew Butterfield, Trinity College Dublin, Northern Ireland.

  • Ana Cavalcanti, United Kingdom.

  • Marsha Chechik, University of Toronto, Canada.

  • Yu-Fang Chen, Academia Sinica, Taiwan.

  • Wei-Ngan Chin, National Univ of Singapore, Singapore.

  • Dino Distefano, Facebook and University of London, United Kingdom.

  • Jim Davies, University of Oxford, United Kingdom.

  • Frank De Boer, CWI, Netherlands.

  • José Luiz Fiadeiro, Royal Holloway, University of London, United Kingdom.

  • John Fitzgerald, Newcastle University, United Kingdom.

  • Marie-Claude Gaudel, LRI, Univ. Paris-Sud and CNRS, France.

  • Jaco Geldenhuys, Stellenbosch University, South Africa.

  • Dimitra Giannakopoulou, NASA Ames, United States.

  • Stefania Gnesi, ISTI-CNR, Italy.

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

  • Stefan Gruner, University of Pretoria, South Africa.

  • Anne E. Haxthausen, Technical University of Denmark, Denmark.

  • Ian J. Hayes, University of Queensland, Australia.

  • Constance Heitmeyer, Naval Research Laboratory, Washington DC 20375, United States.

  • Jane Hillston, University of Edinburgh, United Kingdom.

  • Shinichi Honiden, National Institute of Informatics, Japan.

  • Daniel Jackson, MIT, United States.

  • Cliff Jones, Newcastle University, United Kingdom.

  • Rajeev Joshi, Laboratory for Reliable Software, Jet Propulsion Laboratory, United States.

  • Peter Gorm Larsen, Aarhus School of Engineering, Denmark.

  • Axel Van Lamsweerde, Universite Catholique de Louvain, Belgium.

  • Gary T. Leavens, University of Central Florida, United States.

  • Yves Ledru, Laboratoire d'Informatique de Grenoble - Université Joseph Fourier, France.

  • Michael Leuschel, University of Düsseldorf, Germany.

  • Brendan Mahony, DSTO, Australia.

  • Tom Maibaum, McMaster University, Canada.

  • Annabelle McIver, Macquarie University, Australia.

  • Dominique Mery, Université de Lorraine, LORIA, France.

  • Peter Müller, ETH Zürich, Switzerland.

  • Tobias Nipkow, TU München, Germany.

  • Colin O'Halloran, QinetiQ Ltd, United Kingdom.

  • Jose Oliveira, Universidade do Minho, Portugal.

  • Pekka Pihlajasaari, Data Abstraction (Pty) Ltd, South Africa.

  • André Platzer, Carnegie Mellon University, United States.

  • Zongyan Qiu, Peking University, China.

  • Ken Robinson, The University of New South Wales, Australia.

  • Andreas Roth, SAP Research, United States.

  • Abhik Roychoudhury, National University of Singapore, Singapore.

  • Augusto Sampaio, Federal university of Pernambuco, Brazil.

  • Steve Schneider, University of Surrey, United Kingdom.

  • Emil Sekerinski, McMaster University, Canada.

  • Ketil Stoelen, SINTEF, Norway.

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

  • Jing Sun, The University of Auckland, New Zealand.

  • Xiaoyu Song, Portland State University, United States.

  • Marcel Verhoef, Chess, Netherlands.

  • Willem Visser, Stellenbosch University, South Africa.

  • Chao Wang, Virginia Tech, United States.

  • Alan Wassyng, McMaster University, Canada.

  • Pamela Zave, AT&T Laboratories--Research, United States.

  • Lijun Zhang, Technical University of Denmark, Denmark.

    • Doc Symposium Program Committee

  • Franck Cassez, National ICT, Australia.
  • Yifeng Chen, Peking University, China.
  • Christine Choppy, Laboratoire d'Informatique de l'Université Paris Nord, France.
  • Yuan Feng, University of Technology Sydney, Australia.
  • Shang-wei Lin, Nanyang Technological University, Singapore.
  • Graeme Smith, University of Queensland, Australia.
  • Elena Troubitsyna, Abo Akademi University, Finland.
  • Liu Yang, Nanyang Technological University, Singapore.
  • Huibiao Zhu, East China Normal University, China.

    • Industry Track Program Committee

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

  • Cliff Jones, Newcastle University, United Kingdom.

  • Pekka Pihlajasaari, Data Abstraction (Pty) Ltd, South Africa.

  • Michael Holloway, NASA, United States.

  • Ralf Huuck, NICTA, Australia.

  • Ewen Denney, SGT/NASA Ames, United States.

  • Jim Grundy, Intel Corporation, United States.

  • Hongjun Zheng, MathWorks, United States.

  • Wolfgang Grieskamp, Google, United States.

  • Cristina Cifuentes, Oracle, Australia.

  • Jon Burton, Praxis, United Kingdom.

    • Local Organising Committee

  • Jianqi SHI (Web Chair), National University of Singapore, Singapore.
  • Guangdong BAI (Web Co-Chair), National University of Singapore, Singapore.
  • Ling SHI (Registration Co-Chair), National University of Singapore, Singapore.
  • Manman CHEN (Registration Co-Chair), National University of Singapore, Singapore.
  • Yan LIU (Accommodation Chair), National University of Singapore, Singapore.