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