<div>The deadlines of abstract submissions and paper submissions to ICFEM 2012</div><div>have been extended as follows.</div><div><br></div><div>Abstract Submission Deadline (Extended): 16th April, 2012</div><div>Full Paper Submission Deadline (Extended): 23th April, 2012</div>
<div><br></div><div>We are looking forward to your submissions.</div><div><br></div><div>************************************************************</div><div>ICFEM 2012:</div><div>14th International Conference on Formal Engineering Methods</div>
<div>CALL FOR PAPERs</div><div>12th-16th, November, 2012</div><div>Kyoto Research Park, Kyoto, Japan</div><div>URL: <a href="http://www.jaist.ac.jp/icfem2012">http://www.jaist.ac.jp/icfem2012</a></div><div>************************************************************ </div>
<div><br></div><div>ICFEM will come back to Japan in 2012 again! Since 1997, ICFEM has </div><div>been serving as an international forum for researchers and practitioners</div><div> who have been seriously applying formal methods to practical applications.</div>
<div>Researchers and practitioners, from industry, academia, and government, </div><div>are encouraged to attend, and to help advance the state of</div><div>the art. We are interested in work that has been incorporated into</div>
<div>real production systems, and in theoretical work that promises to</div><div>bring practical and tangible benefit.</div><div><br></div><div>ICFEM 2012 will be hosted by National Institute of Advanced</div><div>Industrial Science and Technology (AIST) and Japan Advanced Institute of </div>
<div>Science and Technology (JAIST), which will be held in</div><div>Kyoto, JAPAN. Kyoto is the ancient capital of JAPAN, where you can find</div><div> many historical sites which have been designated as World Heritage there.</div>
<div>We are looking forward to your submissions.</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 practical </div>
<div>applications 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>* Formal methods for cloud computing/robotics/cyber-physical systems/</div><div> medical devices/aeronautics/railway</div>
<div>* Formal methods for self-* systems </div><div>* Formal methods for software safety, security, reliability and dependability</div><div>* Experiments involving verified systems</div><div>* Formal methods used in certifying products under international standards (ISO 26262, IEC 61508, etc)</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 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</div><div>format (see <a href="http://www.springer.de/comp/lncs/authors.html">http://www.springer.de/comp/lncs/authors.html</a> for</div>
<div>details). Submission should be done through the ICFEM 2012 submission page</div><div>(<a href="https://www.easychair.org/conferences/?conf=icfem2012">https://www.easychair.org/conferences/?conf=icfem2012</a>), handled by the</div>
<div>EasyChair conference system.</div><div><br></div><div>IMPORTANT DATES</div><div><br></div><div>Abstract Submission Deadline (Extended): 16th April, 2012</div><div>Full Paper Submission Deadline (Extended): 23th April, 2012</div>
<div>Acceptance/Rejection Notification: 18th June, 2012</div><div>Camera Ready Copy Due: 16th July, 2012</div><div>Conference: 12th-16th, November, 2012.</div><div><br></div><div>ORGANIZATION COMMITTEE</div>
<div><br></div><div>General Chairs:</div><div>Kokichi Futatsugi, JAIST, Japan</div><div>Shaoying Liu, Hosei Uni., Japan</div><div><br></div><div>Conference Chair:</div><div>Hitoshi Ohsaki, AIST, Japan</div><div><br></div>
<div>Program Chairs:</div><div>Kenji Taguchi, AIST, Japan</div><div>Toshiaki Aoki, JAIST, Japan</div><div><br></div><div>Steering Committee:</div><div>Keijiro Araki, Kyushu University, Japan </div><div>Michael Butler, University of Southampton, UK </div>
<div>Jin Song Dong, National University of Singapore, Singapore </div><div>He Jifeng, East China Normal University, China </div><div>Shaoying Liu (Chair), Hosei University, Japan </div><div>Jeff Offutt, George Mason University, USA </div>
<div>Shengchao Qin, University of Teesside, UK </div><div><br></div><div>Program Committee:</div><div>Bernhard K. Aichernig (Graz University of Technology, Austria)</div><div>Cyrille Artho (AIST, Japan)</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>Sagar Chaki (CMU/SEI, USA)</div><div>Rance Cleaveland (University of Maryland/Reactive Systems, USA)</div>
<div>Jim Davies (Oxford University, UK)</div><div>Zhenhua Duan (Xidian University, China)</div><div>Joaquim Gabarro (Universitat Politecnica de Catalunya, Spain)</div><div>Andy Galloway (University of York, UK)</div><div>
Stefania Gnesi (ISTI-CNR, Italy)</div><div>Wolfgang Grieskamp (Google, USA)</div><div>Klaus Havelund (NASA JPL, USA)</div><div>Daniel Jackson (MIT, USA)</div><div>Thierry Jeron (INRIA, France)</div><div>Gerwin Klein (NICTA, Australia)</div>
<div>Weiqiang Kong (Kyushu University, Japan)</div><div>Kim G. Larsen (Aalborg University, Denmark)</div><div>Peter Gorm Larsen (Engineering College of Aarhus, Denmark)</div><div>Insup Lee (University of Pennsylvania, USA)</div>
<div>Michael Leuschel (Heinrich-Heine Universitat Dusseldorf, Germany)</div><div>Xuandong Li (Nanjing University, China)</div><div>Yuan-Fang Li (Monash University, Australia)</div><div>Zhiming Liu (UNU/IIST, Macau)</div><div>
Dominique Mery (Nancy University and LORIA, France)</div><div>Stephan Merz (INRIA Nancy &amp; LORIA, France)</div><div>Huaikou Miao (Shanghai University, China)</div><div>Alexandre Mota (CIn-UFPE, Brasil)</div><div>Shin Nakajima (NII, Japan)</div>
<div>Kazuhiro Ogata (JAIST, Japan)</div><div>Jose Nuno Oliveira (Universidade do Minho, Portugal)</div><div>Jun Pang (University of Luxembourg, Luxembourg)</div><div>Shengchao Qin (Teesside University, UK)</div><div>Zongyan Qiu (Peking University, China)</div>
<div>S. Ramesh (General Motors India, India)</div><div>Alexander Romanovsky (Newcastle University, UK)</div><div>Wuwei Shen (Western Michigan University, USA)</div><div>Marjan Sirjani (Reykjavik University, Iceland)</div>
<div>Greame Smith (The University of Queensland, Australia)</div><div>Jing Sun (University of Auckland, New Zealand)</div><div>Jun Sun (Singapore University of Technology and Design, Singapore)</div><div>Yih-Kuen Tsay (National Taiwan University, Taiwan)</div>
<div>Viktor Vafeiadis (MPI-SWS, Germany)</div><div>Hai H. Wang (Aston University, UK)</div><div>Ji Wang (National University of Defense Technology, China)</div><div>Wang Yi (Uppsala University, Sweden)</div><div>Jian Zhang (Chinese Academy of Sciences, China)</div>
<div>Huibiao Zhu (East China Normal University, China)</div><div><br></div><div><br></div><div><br></div>-- <br><div>Takashi KITAMURA Ph.D. </div><div><a href="mailto:t.kitamura@aist.go.jp" target="_blank">t.kitamura@aist.go.jp</a></div>
<div>National Institute of Advanced Industrial Science and Technology (AIST)</div><div>Nakoji 3-11-46, Amagasaki, Hyogo 661-0974, Japan</div><div><br></div>