<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:\5B8B\4F53;
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:"\@\5B8B\4F53";
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-compose;
font-family:"Calibri","sans-serif";
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;}
/* Page Definitions */
@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>***************************************************************<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>
ICFEM 2010<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US> 12th International Conference on
Formal Engineering Methods<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>
*** Call For Papers ***<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p>
<p class=MsoNormal><span lang=EN-US>
Nov 16-19, 2010<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>
Shanghai, China<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>
http://www.sei.ecnu.edu.cn/icfem2010/<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>***************************************************************<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p>
<p class=MsoNormal><span lang=EN-US>ICFEM brings together those interested in
the application of formal <o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>engineering methods to computer systems.
Researchers and <o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>practitioners, from industry, academia, and
government, are <o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>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>are interested in work that has been
incorporated into real <o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>production systems, and in theoretical work
that promises to bring <o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>practical, tangible benefit.<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p>
<p class=MsoNormal><span lang=EN-US>ICFEM 2010 will be organized by Software
Engineering Institute, <o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>East China Normal University. Any inquiries
can be sent to <o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>icfem2010@sei.ecnu.edu.cn. <o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p>
<p class=MsoNormal><span lang=EN-US>AREA AND TOPICS<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Submissions related to the following
principal themes are encouraged, <o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>but any topics relevant to the field of
formal methods and <o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>their support environments will also be
considered: <o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>
Formal model-based development and code generation<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US> Abstraction
and refinement<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>
Formal specification and modelling<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>
Software verification<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>
Formal approaches to software testing<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>
Software model checking<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>
Formal methods for object and component systems<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>
Analysis and models for concurrency<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>
Formal methods for cloud computing<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>
Tool development and integration<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>
Software safety, security and reliability<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>
Experiments involving verified systems<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>
Applications of formal methods<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p>
<p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p>
<p class=MsoNormal><span lang=EN-US>SUBMISSION AND PUBLICATION<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Submissions to the conference must not have
been published or be <o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>concurrently considered for publication
elsewhere. All submissions <o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>will be judged on the basis of originality,
contribution to the <o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>field, technical and presentation quality,
and relevance to the <o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>conference. The proceedings will be
published in the Springer Lecture <o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Notes in Computer Science series.<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p>
<p class=MsoNormal><span lang=EN-US>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>format (see http://www.springer.de/comp/lncs/authors.html
for <o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>details). A website for uploading papers
linked to the conference <o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>webpage
(http://www.sei.ecnu.edu.cn/icfem2010/) will be open at the <o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>appropriate time. All queries should be
sent to the e-mail address <o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>icfem2010@sei.ecnu.edu.cn.<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p>
<p class=MsoNormal><span lang=EN-US>IMPORTANT DATES<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p>
<p class=MsoNormal><span lang=EN-US>May 28, 2010: Abstract submission deadline<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>June 4, 2010: Full-paper submission
deadline<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>July 30, 2010: Acceptance/rejection
notification<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>August 13, 2010: Final version due<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p>
<p class=MsoNormal><span lang=EN-US>ORGANIZATION COMMITTEE<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Conference Chair: <o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Jifeng He (East China Normal University,
China)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Program Co-Chairs: <o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Jin Song Dong (National University of
Singapore, Singapore)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Huibiao Zhu (East China Normal University,
China)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p>
<p class=MsoNormal><span lang=EN-US>PROGRAM COMMITTEE<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Luca Aceto (Reykjavik University, Iceland)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Farhad Arbab (CWI and Leiden University,
The Netherlands)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Nazareno Aguirre (Universidad Nacional de
Río Cuarto, Argentina)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Bernhard Aichernig (Graz University of
Technology, Austria)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Keijiro Araki (Kyushu University, Japan)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Richard Banach (University of Manchester ,
UK)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Jonathan Bowen (University of Westminster,
UK)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Karin Breitman (Pontifical Catholic
University of Rio de Janeiro, Brazil)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Michael Butler (University of Southampton,
UK)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Andrew Butterfield (Trinity College Dublin,
Ireland)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Ana Cavalcanti (University of York, UK)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Wei-Ngan Chin (National University of
Singapore, Singapore)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Jim Davies (Oxford University, UK)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Jin Song Dong ((National University of
Singapore, Singapore, Co-Chair)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Zhenghua Duan (Xidian University, China)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Colin Fidge (Queensland University of Technology,
Australia)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>John Fitzgerald (Newcastle University, UK)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Joaquim Gabarro (Universitat Politècnica de
Catalunya, Spain)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>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>Mike Hinchey (University of Limerick,
Ireland)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Thierry Jeron (INRIA , France)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Gerwin Klein (NICTA, Australia)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Kim Larsen (Aalborg University, Denmark)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Michael Leuschel (Heinrich-Heine
Universität Düsseldorf, Germany)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Xuandong Li (Nanjing University, China)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Shaoying Liu (Hosei University, Japan)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Zhiming Liu (UNU/IIST, Macau)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Tiziana Margaria (University of Potsdam,
Germany)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Brendan Mahony (DSTO, Australia)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Tom Maibaum (McMaster University, Canada)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Dominique Mery (LORIA & Université
Henri Poincaré Nancy 1, France)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Huaikou Miao (Shanghai University, China)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>David Naumann (Stevens Institute of
Technology, USA)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Flemming Nielson (Technical University of
Denmark, Denmark)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Jun PANG (University of Luxembourg,
Luxembourg)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Geguang Pu (East China Normal University,
China)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Anders P. Ravn (Aalborg University,
Denmark)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Shengchao Qin (Durham University, UK)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Zongyan Qiu (Peking University, China)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Augusto Sampaio (Universidade Federal de
Pernambuco, Brazil)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Graeme Smith (University of Queensland,
Australia)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Jing Sun (University of Auckland, New
Zealand)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Jun Sun (National University of Singapore,
Singapore)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Yih-Kuen Tsay (National Taiwan University,
Taiwan)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Kenji Taguchi (National Institute of
Informatics, Japan)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>T.H. Tse (University of Hong Kong, Hong
Kong)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Sergiy Vilkomir (East Carolina University,
USA)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Heike Wehrheim (University of Paderborn,
Germany)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Wang Yi (Uppsala University, Sweden)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Hai Wang (Aston University, UK)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Ji Wang (National University of Defense
Technology, China)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Xu Wang (UNU/IIST, Macau)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Jim Woodcock (University of York, UK)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Jian Zhang (Chinese Academy of Sciences,
China)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Huibiao Zhu, China (East China Normal
University, China, Co-Chair)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p>
<p class=MsoNormal><span lang=EN-US>STEERING COMMITTEE<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Keijiro Araki, Japan<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Jin Song Dong, Singapore<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Chris George, Canada<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Jifeng He, China<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Mike Hinchey, Ireland<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Shaoying Liu (Chair), Japan<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>John McDermid, UK<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Tetsuo Tamai, Japan<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Jim Woodcock, UK<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p>
<p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p>
<p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p>
</div>
</body>
</html>