<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 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>************************************************************<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> ICFEM 2011<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>13th International Conference on Formal Engineering Methods<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> *** FIRST CALL FOR PAPERS ***<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> 25-28 Oct 2011<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> Radisson BLU Hotel, Durham, UK<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> URL: http://www.scm.tees.ac.uk/icfem2011 <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>Since 1997, ICFEM has provided a forum for those interested in the application of formal engineering methods <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>to computer systems.Researchers and practitioners, from industry, academia, and government, are encouraged to <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>attend, and to help advance the state of the art. We 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 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 2011 is organised by Teesside University and will be held in the old historic Durham City in the North East of <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>England (http://www.thisisdurham.com/).<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>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, but any topics relevant to the field of formal methods <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>and their support environments will also be considered:<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>* 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>* Program analysis<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 approaches to software testing<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>* Concurrency and software transaction memory<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>* Software inspection<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>* Formal methods for cyber-physical systems<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>* Formal model-based development and code generation<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 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 field, technical and presentation quality, and relevance to the conference. <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>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><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 format (see http://www.springer.de/comp/lncs/authors.html for details). <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Submission should be done through the ICFEM 2011 submission page (https://www.easychair.org/conferences/?conf=icfem2011), handled by the EasyChair <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>conference system. All queries should be sent to the e-mail address icfem2011@scm.tees.ac.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>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>31 March, 2011: Abstract submission deadline<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> 7 April, 2011: Full-paper submission deadline<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> 8 June, 2011: Acceptance/rejection notification<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> 6 July, 2011: Camera-ready 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><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>Honorary Chairs:<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>Marc Cavazza, Teesside University<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Cliff Hardcastle, Teesside University<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>General Chairs:<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>Phil Brooke, Teesside University, UK<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Cliff Jones, Newcastle University, 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>Program Chairs:<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>Shengchao Qin, Teesside University, UK<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Zongyan Qiu, Peking University, 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>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>Bernhard K. 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>Farhad Arbab (CWI and Leiden University, The Netherlands) <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>Nikolaj Bjorner (Microsoft Research Redmond, USA) <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Jonathan P. Bowen (University of Westminster, UK) <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>Florin Craciun (Soter Sys, Romania) <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Thao Dang (French National Center for Scientific Research, France) <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>Dino Distefano (Queen Mary College, University of London, UK) <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>Zhenhua Duan (Xidian University, China) <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>J. S. Fitzgerald (Newcastle University, UK) <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Leo Freitas (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 (ISTI-CNR, Italy) Anthony Hall (Consultant) <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Ian J. Hayes (The University of Queensland, Australia)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Mike Hinchey (Lero, Ireland) <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Zhenjiang Hu (National Institute of Informatics, Japan) <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Michael Jackson (Consultant) <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Thierry Jéron (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>Laura Kovacs (Vienna University of Technology, Austria) <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Kim G. Larsen (Aalborg University, Denmark) <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Peter Gorm Larsen (Aarhus University, Denmark) <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Michael Leuschel (Heinrich-Heine University 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>Stephan Merz (INRIA Nancy & LORIA, 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>Peter Müller (ETH Zurich, Switzerland) <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>Matthew Parkinson (Microsoft Research Cambridge, UK) <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>Shengchao Qin (Teesside 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>Thomas Santen (Microsoft Innovations Center Aachen, Germany) <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Wuwei Shen (Western Michigan University, USA) <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Marjan Sirjani (Reykjavik University, Iceland) <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Bill Stoddart (Teesside University, UK)<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 (Singapore University of Technology and Design, Singapore)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Kenji Taguchi (AIST, Japan)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Tetsuo Tamai (University of Tokyo, Japan)<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>T.H. Tse (University of Hong Kong, Hong Kong) <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Viktor Vafeiadis (MPI-SWS, Germany) <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Miroslav Velev (Aries Design Automation, USA) <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Laurent Voisin (Systerel, France) <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Hai H. 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>Heike Wehrheim (University of Paderborn, Germany) <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>Wang Yi (Uppsala University, Sweden) <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Naijun Zhan (Chinese Academy of Sciences, China) <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>Hong Zhu (Oxford Brookes University, UK) <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><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><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p></div></body></html>