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