<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40"><head><META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=us-ascii"><meta name=Generator content="Microsoft Word 12 (filtered medium)"><style><!--
/* Font Definitions */
@font-face
{font-family:SimSun;
panose-1:2 1 6 0 3 1 1 1 1 1;}
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
@font-face
{font-family:SimSun;
panose-1:2 1 6 0 3 1 1 1 1 1;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
margin-bottom:.0001pt;
text-align:justify;
text-justify:inter-ideograph;
font-size:10.5pt;
font-family:"Calibri","sans-serif";}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:blue;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:purple;
text-decoration:underline;}
span.EmailStyle17
{mso-style-type:personal;
font-family:"Calibri","sans-serif";
color:windowtext;}
span.EmailStyle18
{mso-style-type:personal;
font-family:"Calibri","sans-serif";
color:#1F497D;}
span.EmailStyle19
{mso-style-type:personal;
font-family:"Calibri","sans-serif";
color:#1F497D;}
span.EmailStyle20
{mso-style-type:personal;
font-family:"Calibri","sans-serif";
color:#1F497D;}
span.EmailStyle21
{mso-style-type:personal;
font-family:"Calibri","sans-serif";
color:#1F497D;}
span.EmailStyle22
{mso-style-type:personal;
font-family:"Calibri","sans-serif";
color:#1F497D;}
span.EmailStyle23
{mso-style-type:personal;
font-family:"Calibri","sans-serif";
color:#1F497D;}
span.EmailStyle24
{mso-style-type:personal;
font-family:"Calibri","sans-serif";
color:#1F497D;}
span.EmailStyle25
{mso-style-type:personal;
font-family:"Calibri","sans-serif";
color:#1F497D;}
span.EmailStyle26
{mso-style-type:personal;
font-family:"Calibri","sans-serif";
color:#1F497D;}
span.EmailStyle27
{mso-style-type:personal;
font-family:"Calibri","sans-serif";
color:#1F497D;}
span.EmailStyle28
{mso-style-type:personal;
font-family:"Calibri","sans-serif";
color:#1F497D;}
span.EmailStyle29
{mso-style-type:personal;
font-family:"Calibri","sans-serif";
color:#1F497D;}
span.EmailStyle30
{mso-style-type:personal;
font-family:"Calibri","sans-serif";
color:#1F497D;}
span.EmailStyle31
{mso-style-type:personal-reply;
font-family:"Calibri","sans-serif";
color:#1F497D;}
.MsoChpDefault
{mso-style-type:export-only;
font-size:10.0pt;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:72.0pt 90.0pt 72.0pt 90.0pt;}
div.WordSection1
{page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]--></head><body lang=ZH-CN link=blue vlink=purple style='text-justify-trim:punctuation'><div class=WordSection1><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>ICFEM 2013 CALL FOR PAPERS AND WORKSHOPS<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>15th International Conference on Formal Engineering Methods (ICFEM 2013)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Queenstown, New Zealand, 29 October - 1 November 2013<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>http://www.cs.auckland.ac.nz/icfem2013/<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>The 15th International Conference on Formal Engineering Methods (ICFEM 2013) will be held at the Crowne Plaza Hotel in Queenstown, New Zealand from 29 October to 1 November 2013. Since 1997, ICFEM has been serving as an international forum for researchers and practitioners who have been seriously applying formal methods to practical applications. Researchers and practitioners, from industry, academia, and government, are encouraged to attend, and to help advance the state of the art. We are interested in work that has been incorporated into real production systems, and in theoretical work that promises to bring practical and tangible benefit.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>ICFEM 2013 is organized and sponsored by The University of Auckland and will be held in the world renowned travel destination - Queenstown. Around 1.9 million visitors are drawn to Queenstown each year to enjoy their own unforgettable travel experience. We are looking forward to your submissions and participation.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>SCOPE AND TOPICS<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Submissions related to the following principal themes are encouraged, but any topics relevant to the field of formal methods and their practical applications will also be considered.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>+ Abstraction and refinement<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>+ Formal specification and modeling<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>+ Program analysis<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>+ Software verification<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>+ Software model checking<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>+ Formal approaches to software testing<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>+ Formal methods for self-adaptive systems<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>+ Formal methods for object and component systems<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>+ Formal methods for concurrent and real-time systems<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>+ Formal methods for cloud computing and cyber-physical systems<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>+ Formal methods for software safety, security, reliability and dependability<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>+ Tool development, integration and experiments involving verified systems<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>+ Formal methods used in certifying products under international standards<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>+ Formal model-based development and code generation<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>SUBMISSION AND PUBLICATION<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Submissions to the conference must not have been published or be concurrently considered for publication elsewhere. All submissions will be judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the conference. The proceedings will be published in the Springer Lecture Notes in Computer Science series.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Papers should be written in English and not exceed 16 pages in LNCS format (see http://www.springer.de/comp/lncs/authors.html for details). Submission should be made through the ICFEM 2013 submission page (https://www.easychair.org/conferences/?conf=icfem2013), handled by the EasyChair conference management system.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>WORKSHOP AND TUTORIAL<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>The first day of the conference (29 October 2013) will be dedicated to workshops, tutorials and other satellite events. The organizing committee of ICFEM 2013 therefore cordially invites proposals for one-day workshops and one-day or half-day tutorials in any area related to formal methods or software engineering, but particularly in new or emerging fields of application of formal methods.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Proposals for workshops/tutorial should contain:<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>+ a title and brief description of the topic and the history of the workshop/tutorial, if applicable;<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>+ the names and contact details of the potential organizers;<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>+ a brief justification of the topic and estimated size of audience;<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>+ a description of any special technical requirements.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Proposals should be sent to ICFEM2013 Workshops Chairs, Yang Liu and Jun Sun, at <yangliu@ntu.edu.sg> no later than 18 April 2013.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>IMPORTANT DATES<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Abstract Submissions Due: 15 April 2013<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Full Paper Submissions Due: 22 April 2013<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Workshop/Tutorial Proposals: 18 April 2013<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Acceptance Notification: 18 June 2013<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Camera-ready Papers Due: 15 July 2013<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>ORGANIZING COMMITTEE<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>General Co-Chairs<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Jin Song Dong, National University of Singapore, Singapore.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Ian Hayes, The University of Queensland, Australia.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Steve Reeves, The University of Waikato, New Zealand.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Program Committee Co-Chairs<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Lindsay Groves, Victoria University of Wellington, New Zealand.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Jing Sun, The University of Auckland, New Zealand.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Workshop and Tutorial Co-Chairs<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Yang Liu, Nanyang Technological University, Singapore.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Jun Sun, Singapore University of Technology and Design, Singapore.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Local Organization Chair<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Gillian Dobbie, The University of Auckland, New Zealand.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Publicity Co-Chairs<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Jonathan Bowen, London South Bank University & Chairman, Museophile Limited, United Kingdom.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Huibiao Zhu, East China Normal University, China.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>PROGRAM COMMITTEE<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Bernhard K. Aichernig, Graz University of Technology, Austria.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Yamine Ait Ameur, LISI/ENSMA, France.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Keijiro Araki, Kyushu University, Japan.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Farhad Arbab, CWI and Leiden University, The Netherlands.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Richard Banach, University of Manchester, United Kingdom.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Nikolaj Bjorner, Microsoft Research Redmond, USA.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Jonathan Bowen, London South Bank University & Chairman, Museophile Limited, United Kingdom.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Michael Butler, University of Southampton, United Kingdom.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Andrew Butterfield, Trinity College Dublin, Ireland.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Wei-Ngan Chin, National University of Singapore, Singapore.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Jim Davies, University of Oxford, United Kingdom.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Jin Song Dong, National University of Singapore, Singapore<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Zhenhua Duan, Xidian University, China.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Colin Fidge, Queensland University of Technology, Australia.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>John Fitzgerald, Newcastle University, United Kingdom.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Joaquim Gabarro, Universitat Politecnica de Catalunya, Spain.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Stefania Gnesi, ISTI-CNR, Italy.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Radu Grosu, State University of New York at Stony Brook, USA.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Lindsay Groves, Victoria University of Wellington, New Zealand.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Ian Hayes, University of Queensland, Australia.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Mike Hinchey, Lero, Ireland.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Peter Gorm Larsen, Engineering College of Aarhus, Denmark.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Michael Leuschel, Heinrich-Heine Universitat Dusseldorf, Germany.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Xuandong Li, Nanjing University, China.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Yuan-Fang Li, Monash University, Australia.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Shang-Wei Lin, National University of Singapore, Singapore.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Shaoying Liu, Hosei University, Japan.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Yang Liu, Nanyang Technological University, Singapore.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Zhiming Liu, UNU/IIST, China.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Tiziana Margaria, University of Potsdam, Germany.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Hong Mei, Peking University, China.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Huaikou Miao, Shanghai University, China.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Peter Mueller, ETH Zurich, Switzerland.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Shin Nakajima, National Institute of Informatics, Japan.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Sebastian Nanz, ETH Zurich, Switzerland.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Jose Nuno Oliveira, Universidade do Minho, Portugal.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Jun Pang, University of Luxembourg, Luxembourg.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Shengchao Qin, Teesside University, United Kingdom.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Zongyan Qiu, Peking University, China.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Steve Reeves, The University of Waikato, New Zealand.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Alexander Romanovsky, Newcastle University, United Kingdom.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Wuwei Shen, Western Michigan University, USA.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Marjan Sirjani, Reykjavik University, Iceland.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Graeme Smith, The University of Queensland, Australia.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Jing Sun, The University of Auckland, New Zealand.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Jun Sun, Singapore University of Technology and Design, Singapore.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Kenji Taguchi, AIST, Japan.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Tetsuo Tamai, Hosei University, Japan.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Yih-Kuen Tsay, National Taiwan University, Taiwan.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>T.H. Tse, The University of Hong Kong, China.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Viktor Vafeiadis, MPI-SWS, Germany.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Farn Wang, National Taiwan University, Taiwan.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Hai H. Wang, Aston University, United Kingdom.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Jim Woodcock, University of York, United Kingdom.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Wang Yi, Uppsala University, Sweden.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Jian Zhang, Chinese Academy of Sciences, China.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Hong Zhu, Oxford Brookes University, United Kingdom.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Huibiao Zhu, East China Normal University, China.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'><o:p> </o:p></span></p></div></body></html>