Key Dates

March 22, 2014

Workshop/Tutorial Proposals

April 25, 2014

Abstract submission deadline (extended)

May 4, 2014

Paper submission deadline (extended)

June 20, 2014

Notification

July 13, 2014

Camera-ready due

Author registration deadline

September 27, 2014

Early registration deadline

November 3-5, 2014

Conference date

November 6-7, 2014

Affiliated workshops date

Recent News

October 14, 2013

The webpage goes live.

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
FNR Logo CSC Logo