16th International Conference on Formal Engineering Methods
ICFEM 2014
November 3-7, Luxembourg
Program Committee
-
Frank de Boer, CWI, The Netherlands
-
Jonathan Bowen, Birmingham City University, United Kingdom
-
Michael Butler, University of Southampton, United Kingdom
-
Kostas Chatzikokolakis, CNRS and École Polytechnique, France
-
Zhenhua Duan, Xidian University, China
-
Colin Fidge, Queensland University of Technology, Australia
-
Stefania Gnesi, ISTI-CNR, Italy
-
Radu Grosu, Vienna University of Technology, Austria
-
Ian Hayes, University of Queensland, Australia
-
Michaela Huhn, Technische Universität Clausthal, Germany
-
Pierre Kelsen, University of Luxembourg, Luxembourg
-
Steve Kremer, INRIA Nancy, France
-
Jean Krivine, CNRS and Université Paris Diderot, France
-
Peter Gorm Larsen, Aarhus University, Denmark
-
Xuandong Li, Nanjing University, China
-
Shang-Wei Lin, National University of Singapore, Singapore
-
Shaoying Liu, Hosei University, Japan
-
Yang Liu, Nanyang Technological University, Singapore
-
Sjouke Mauw, University of Luxembourg, Luxembourg
-
Dominique Mery, Université de Lorraine, France
-
Stephan Merz, INRIA Nancy, France
-
Mohammad Reza Mousavi, Halmstad University, Sweden
-
Peter Mueller, ETH Zurich, Switzerland
-
Shin Nakajima, National Institute of Informatics, Japan
-
Jun Pang, University of Luxembourg, Luxembourg
-
Ion Petre, Åbo Akademi University, Finland
-
Jaco van de Pol, University of Twente, The Netherlands
-
Shengchao Qin, Teesside University, United Kingdom
-
Zongyan Qiu, Peking University, China
-
Jing Sun, University of Auckland, New Zealand
-
Jun Sun, Singapore University of Technology and Design, Singapore
-
Kenji Taguchi, AIST, Japan
-
Viktor Vafeiadis, MPI-SWS, Germany
-
Hai H. Wang, Aston University, United Kingdom
-
Wang Yi, Uppsala University, Sweden
-
Huibiao Zhu, East China Normal University, China
Steering Committee
-
Keijiro Araki, Kyushu University, Japan
-
Michael Butler, University of Southampton, United Kingdom
-
Jin Song Dong, National University of Singapore, Singapore
-
Jifeng He, East China Normal University, China
-
Shaoying Liu (Chair), Hosei University, Japan
-
Jeff Offutt, George Mason University, United States
-
Shengchao Qin, University of Teesside, United Kingdom