<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;}
@font-face
{font-family:"MS PGothic";
panose-1:2 11 6 0 7 2 5 8 2 4;}
@font-face
{font-family:"\@MS PGothic";
panose-1:2 11 6 0 7 2 5 8 2 4;}
/* 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-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 align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>************************************************************<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>ICFEM 2011:<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>13th International Conference on Formal Engineering Methods<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>CALL FOR PAPERs<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>25-28 Oct 2011<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Radisson BLU Hotel, Durham, UK<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>URL: http://www.scm.tees.ac.uk/icfem2011 <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>************************************************************ <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'><o:p> </o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Since 1997, ICFEM has provided a forum for those interested in the <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>application of formal engineering methods to computer systems. <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Researchers and practitioners, from industry, academia, and government, <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>are encouraged to attend, and to help advance the state of the art. We <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>are interested in work that has been incorporated into real production <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>systems, and in theoretical work thatpromises to bring practical, <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>tangible benefit.<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'><o:p> </o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>ICFEM 2011 is organised by Teesside University and will be held in the <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>historic Durham City in the North East of England <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>(http://www.thisisdurham.com/).<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'><o:p> </o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'><o:p> </o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>AREA AND TOPICS<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'><o:p> </o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Submissions related to the following principal themes are encouraged, but <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>any topics relevant to the field of formal methods and their support <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>environments will also be considered:<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'><o:p> </o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>* Abstraction and refinement<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>* Formal specification and modelling<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>* Software verification<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>* Program analysis<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>* Software model checking<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>* Formal approaches to software testing<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>* Formal methods for object and component systems<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>* Concurrency and software transaction memory<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>* Formal methods for cloud computing<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>* Software inspection<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>* Formal methods for cyber-physical systems<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>* Tool development and integration<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>* Software safety, security and reliability<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>* Experiments involving verified systems<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>* Applications of formal methods<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>* Formal model-based development and code generation<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'><o:p> </o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'><o:p> </o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>SUBMISSION AND PUBLICATION<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'><o:p> </o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Submissions to the conference must not have been published or be concurrently <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>considered for publication elsewhere. All submissions will be judged on the <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>basis of originality, contribution to the field, technical and presentation <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>quality, and relevance to the conference. The proceedings will be published <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>in the Springer Lecture Notes in Computer Science series.<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'><o:p> </o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Papers should be written in English and not exceed 16 pages in LNCS format <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>(see http://www.springer.de/comp/lncs/authors.html for details). Submission <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>should be done through the ICFEM 2011 submission page <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>(https://www.easychair.org/conferences/?conf=icfem2011), handled by the <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>EasyChair conference system. All queries should be sent to the e-mail <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>address icfem2011@scm.tees.ac.uk.<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'><o:p> </o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'><o:p> </o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>IMPORTANT DATES<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'><o:p> </o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>31 March, 2011: Abstract submission deadline<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'> 7 April, 2011: Full-paper submission deadline<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'> 8 June, 2011: Acceptance/rejection notification<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'> 6 July, 2011: Camera-ready version due<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'><o:p> </o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'><o:p> </o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>ORGANIZATION COMMITTEE<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'><o:p> </o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Honorary Chairs:<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'><o:p> </o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Marc Cavazza, Teesside University<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Cliff Hardcastle, Teesside University<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'><o:p> </o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>General Chairs:<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'><o:p> </o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Phil Brooke, Teesside University, UK<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Cliff Jones, Newcastle University, UK<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'><o:p> </o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Program Chairs:<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'><o:p> </o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Shengchao Qin, Teesside University, UK<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Zongyan Qiu, Peking University, UK<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'><o:p> </o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Program Committee:<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'><o:p> </o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Bernhard K. Aichernig (Graz University of Technology, Austria)<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Keijiro Araki (Kyushu University, Japan)<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Farhad Arbab (CWI and Leiden University, The Netherlands) <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Richard Banach (University of Manchester, UK) <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Nikolaj Bjorner (Microsoft Research Redmond, USA) <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Jonathan P. Bowen (University of Westminster, UK) <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Michael Butler (University of Southampton, UK) <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Andrew Butterfield (Trinity College Dublin, Ireland) <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Ana Cavalcanti (University of York, UK) <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Aziem Chawdhary (University of Edinburgh, UK)<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Wei-Ngan Chin (National University of Singapore, Singapore)<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Florin Craciun (Soter Sys, Romania) <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Thao Dang (French National Center for Scientific Research, France) <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Jim Davies (Oxford University, UK)<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Dino Distefano (Queen Mary College, University of London, UK) <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Jin-Song Dong (National University of Singapore, Singapore)<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Zhenhua Duan (Xidian University, China) <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Colin Fidge (Queensland University of Technology, Australia)<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>J. S. Fitzgerald (Newcastle University, UK) <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Leo Freitas (Newcastle University, UK) <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Joaquim Gabarro (Universitat Politecnica de Catalunya, Spain) <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Stefania Gnesi (ISTI-CNR, Italy) Anthony Hall (Consultant) <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Ian J. Hayes (The University of Queensland, Australia)<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Mike Hinchey (Lero, Ireland)<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Zhenjiang Hu (National Institute of Informatics, Japan) <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Michael Jackson (Consultant) <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Thierry Jeron (INRIA , France) <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Gerwin Klein (NICTA, Australia) <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Laura Kovacs (Vienna University of Technology, Austria) <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Kim G. Larsen (Aalborg University, Denmark) <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Peter Gorm Larsen (Aarhus University, Denmark) <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Michael Leuschel (Heinrich-Heine Universitat Dusseldorf, Germany) <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Xuandong Li (Nanjing University, China) <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Shaoying Liu (Hosei University, Japan) <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Zhiming Liu (UNU/IIST, Macau) <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Tiziana Margaria (University of Potsdam, Germany) <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Dominique Mery (Nancy University and LORIA, France)<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Stephan Merz (INRIA Nancy & LORIA, France) <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Huaikou Miao (Shanghai University, China) <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Peter Muller (ETH Zurich, Switzerland) <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Jun Pang (University of Luxembourg, Luxembourg) <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Matthew Parkinson (Microsoft Research Cambridge, UK) <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Geguang Pu (East China Normal University, China) <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Shengchao Qin (Teesside University, UK) <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Zongyan Qiu (Peking University, China) <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Augusto Sampaio (Universidade Federal de Pernambuco, Brazil) <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Thomas Santen (Microsoft Innovations Center Aachen, Germany) <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Wuwei Shen (Western Michigan University, USA) <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Marjan Sirjani (Reykjavik University, Iceland) <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Bill Stoddart (Teesside University, UK)<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Jing Sun (University of Auckland, New Zealand)<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Jun Sun (Singapore University of Technology and Design, Singapore)<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Meng Sun (Peking University, China)<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Kenji Taguchi (AIST, Japan)<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Tetsuo Tamai (University of Tokyo, Japan)<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Yih-Kuen Tsay (National Taiwan University, Taiwan)<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>T.H. Tse (University of Hong Kong, Hong Kong) <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Viktor Vafeiadis (MPI-SWS, Germany) <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Miroslav Velev (Aries Design Automation, USA) <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Laurent Voisin (Systerel, France) <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Hai H. Wang (Aston University, UK) <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Ji Wang (National University of Defense Technology, China) <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Linzhang Wang (Nanjing University, China)<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Heike Wehrheim (University of Paderborn, Germany) <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Jim Woodcock (University of York, UK) <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Wang Yi (Uppsala University, Sweden) <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Hongli Yang (Beijing University of Technology, China)<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Naijun Zhan (Chinese Academy of Sciences, China) <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Jian Zhang (Chinese Academy of Sciences, China) <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Hong Zhu (Oxford Brookes University, UK) <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Huibiao Zhu (East China Normal University, China)<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'><o:p> </o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'><o:p> </o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Steering Committee<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'><o:p> </o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Keijiro Araki, Japan<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Jin Song Dong, Singapore<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Chris George, Canada<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Jifeng He, China<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Mike Hinchey, Ireland<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Shaoying Liu (Chair), Japan<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>John McDermid, UK<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Tetsuo Tamai, Japan<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span style='font-size:10.0pt;font-family:SimSun'>Jim Woodcock, UK<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span style='font-size:10.0pt;font-family:SimSun'><o:p> </o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span style='font-size:10.0pt;font-family:SimSun'><o:p> </o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span style='font-size:10.0pt;font-family:SimSun'><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>