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