<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=iso-8859-1">
<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 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-reply;
font-family:"Calibri","sans-serif";
color:#1F497D;}
.MsoChpDefault
{mso-style-type:export-only;
font-size:10.0pt;}
@page Section1
{size:612.0pt 792.0pt;
margin:72.0pt 90.0pt 72.0pt 90.0pt;}
div.Section1
{page:Section1;}
-->
</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=Section1>
<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 2010<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US style='color:#1F497D'> 12th International
Conference on Formal Engineering Methods<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US style='color:#1F497D'> ***
Call For Papers ***<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'>
Nov 16-19, 2010<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>
Shanghai, China<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>
http://www.sei.ecnu.edu.cn/icfem2010/<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'>ICFEM brings together
those interested in the application of formal <o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>engineering methods
to computer systems. Researchers and <o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>practitioners, from
industry, academia, and government, are <o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>encouraged to attend,
and to help advance the state of the art. We <o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>are interested in
work that has been incorporated into real <o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>production systems,
and in theoretical work that promises to bring <o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>practical, 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 2010 will be
organized by Software Engineering Institute, <o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>East China Normal
University. Any inquiries can be sent to <o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>icfem2010@sei.ecnu.edu.cn.
<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'>AREA 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, <o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>but any topics
relevant to the field of formal methods and <o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>their support
environments will also be considered: <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'> Abstraction
and refinement<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US style='color:#1F497D'> Formal
specification and modelling<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'> Formal
approaches to software testing<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
methods for object and component systems<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US style='color:#1F497D'> Analysis and
models for concurrency<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US style='color:#1F497D'> Formal
methods for cloud computing<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US style='color:#1F497D'> Tool
development and integration<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US style='color:#1F497D'> Software
safety, security and reliability<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US style='color:#1F497D'> Experiments
involving verified systems<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US style='color:#1F497D'> Applications
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'><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 <o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>concurrently
considered for publication elsewhere. All submissions <o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>will be judged on the
basis of originality, contribution to the <o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>field, technical and
presentation quality, and relevance to the <o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>conference. The
proceedings will be published in the Springer Lecture <o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>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 <o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>format (see
http://www.springer.de/comp/lncs/authors.html for <o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>details). Submission
should be done through the ICFEM 2010 submission <o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>page
(http://www.sei.ecnu.edu.cn/icfem2010/), handled by the EasyChair <o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>conference system.
All queries should be sent to the e-mail address <o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>icfem2010@sei.ecnu.edu.cn.<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'>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'>May 28, 2010:
Abstract submission deadline<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>June 4, 2010:
Full-paper submission deadline<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>July 30, 2010:
Acceptance/rejection notification<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>August 13, 2010:
Final version due<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'>ORGANIZATION
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'>Conference Chair: <o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Jifeng He (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 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'>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>
<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'>Yamine AIT AMEUR
(LISI/ENSMA, France)<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'>Nazareno Aguirre
(Universidad Nacional de Río Cuarto, Argentina)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Bernhard Aichernig
(Graz University of Technology, Austria)<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'>Richard Banach
(University of Manchester , UK)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Jonathan Bowen
(University of Westminster, UK)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Karin Breitman
(Pontifical Catholic University of Rio de Janeiro, Brazil)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Michael Butler
(University of Southampton, UK)<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'>Ana Cavalcanti
(University of York, UK)<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 (Oxford
University, UK)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Jin Song Dong
((National University of Singapore, Singapore, Co-Chair)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Zhenghua 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, UK)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Joaquim Gabarro
(Universitat Politècnica de Catalunya, Spain)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Stefania Gnesi
(Istituto di Scienza e Tecnologie dell’Informazione ‘A. Faedo’, Italy)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Mike Hinchey
(University of Limerick, Ireland)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Thierry Jeron (INRIA
, France)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Gerwin Klein (NICTA,
Australia)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Kim Larsen (Aalborg
University, Denmark)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Michael Leuschel
(Heinrich-Heine Universität Düsseldorf, 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'>Shaoying Liu (Hosei
University, Japan)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Zhiming Liu
(UNU/IIST, Macau)<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'>Brendan Mahony (DSTO,
Australia)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Tom Maibaum (McMaster
University, Canada)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Dominique Mery (LORIA
& Université Henri Poincaré Nancy 1, France)<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'>Flemming Nielson
(Technical University of Denmark, Denmark)<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'>Geguang Pu (East
China Normal University, China)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Shengchao Qin (Durham
University, UK)<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'>Anders P. Ravn
(Aalborg University, Denmark)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Augusto Sampaio
(Universidade Federal de Pernambuco, Brazil)<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
(University of Queensland, Australia)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Jing Sun (University
of Auckland, New Zealand)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Jun Sun (National
University of Singapore, Singapore) <o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Kenji Taguchi
(National Institute of Informatics, 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, Hong Kong)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Sergiy Vilkomir (East
Carolina University, USA)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Heike Wehrheim
(University of Paderborn, Germany)<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'>Hai Wang (Aston
University, UK)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Ji Wang (National
University of Defense Technology, China)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Xu Wang (UNU/IIST,
Macau)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Jim Woodcock
(University of York, UK)<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'>Huibiao Zhu, China
(East China Normal University, China, Co-Chair)<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'><o:p> </o:p></span></p>
<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>STEERING 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'>Keijiro Araki, Japan<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Jin Song Dong,
Singapore<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Chris George, Canada<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Jifeng He, China<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Mike Hinchey, Ireland<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Shaoying Liu (Chair),
Japan<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>John McDermid, UK<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Tetsuo Tamai, Japan<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Jim Woodcock, UK<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'><o:p> </o:p></span></p>
</div>
</body>
</html>