[We sincerely appologize for repeated copies of this announcement] ---------------------------------------------------------------------- 4th International Conference on Formal Engineering Methods (ICFEM 2002) October 22-25, 2002 Shanghai, China URL: http://www.shu.edu.cn/icfem2002/index.htm ----------------------------------------------------------------------- Sponsored by : National Natural Science Foundation of China Shanghai University, China United Nations University, International Institute for Software Technology In cooperation with: China Computer Federation China Software Industry Association Shanghai Computer Association, China East China Normal University, Shanghai, China Organized by: Shanghai University, China Themes Formal methods for software development have been extensively researched and their use in industry is increasing. Recent applications to the development of safety-critical, security-critical and mission-critical systems have significantly increased trustworthiness, without increasing overall development costs. The challenge now is to achieve general acceptance of formal methods as a part of industrial development of high quality systems, particularly trusted systems. More needs to be known about merging formal methods into industrial engineering practice, including new and emerging practice. This includes increasing productivity of formal engineering methods, for example through improved tool support. ICFEM 2002 aims to bring together researchers and practitioners from industry, academia and government to advance the state of the art in formal engineering methods and to encourage wider uptake of formal methods in industry. Submissions related to the following principal themes are encouraged. Topic areas include, but are not limited to: Integration of formal methods with other methodologies Formal verification Validation of formal specifications Rigorous review Specification-based software testing Specification evolution and refinement Tools and environments Specification techniques and languages Model checking Formal semantics Management of project using formal methods Applications of formal methods Assessment of formal methods Software architecture UML-based software development Component engineering Domain Engineering System modeling and design methodology Requirements engineering Software process with formal methods We plan to have Technical Research Papers, Industrial Experience Reports, and short papers. Invited Speakers: Richard Jullig (CommerceNet Consortium, USA) Jim Woodcock (University of Kent, UK) Shaoying Liu (Hosei University, JAPAN) Ralph Johan Back (Abo Akademi University, FINLAND) Mark A. Hale (INTERWOVEN, INC., USA). Location The 4th International conference on Formal Engineering Methods (ICFEM 2002) will be held in Shanghai, China (http://www.shu.edu.cn/icfem2002/index.htm), China�s largest economic and industrial center. It is easily accessible by air, land and sea. Its international airlines reach more than 20 cities in the world including Seoul, Tokyo, New York, Chicago, Singapore, Brussels. With 6000 years history, Shanghai is also a world-famous metropolis of historical and cultural importance. The autumn is the most the beautiful and pleasant season of the city. Submissions The submissions will be reviewed and evaluated based on originality, technical quality and relevance to the topics mentioned above. The accepted papers will be published by the Spring-Verlag Press and presented at the conference. Submissions should be original work, not published or submitted elsewhere. Papers should be 2500--5000 words in length, in English. Submissions should be made electronically in PDF or postscript format, conforming to LNCS style, and should be received via email by the Program Co-Chair ([EMAIL PROTECTED],). All submissions should be accompanied with cover-sheet information, which must include: title, author names, abstract, a list of keywords, and the corresponding address of the first author (name, postal address, e-mail address, and phone and fax numbers). Alternatively, five copies of complete papers may be sent to the PC Co-chair: Miao Huaikou School of Computer Engineering and Science 149 Yanchang Road, Shanghai 200072 China Important Dates Submission deadline: April 20, 2002 Notification of acceptance: June 20, 2002 Submission of final copy: July 5, 2002 Conference: October 22-25, 2002 Organizing Committee: General Chairs: He Jifeng (UNU/IIST, Macau) Chen Huowang (Changsha Institute of Technology, China) Program Chairs: Miao Huaikou (Shanghai University, China) Chris George (UNU/IIST, Macau) Local Arrangements Chair: Qin Wei, Shanghai University , China Publicity Chair: Chen Yihai, Shanghai University, China Publication Chair: Liu Jing, Shanghai University, China Finance Chair: Xiang Jugu, Shanghai University, China Program Committee Keijiro Araki (Kyushu University, Japan) Jonathan Bowen (University of South Bank, UK) Ian Hayes (University of Queensland, Australia) Dan Craigen (ORA, Canada) Sten F. Andler, (University of Skovde, Sweden) Jin Song Dong (University of Singapore, Singapore) John Fitzgerald (Transitive Technologies Ltd, UK) Marc Frappier (University of Sherbrooke, Canada) Andy Galloway (University of York, UK) Jie Wu (Florida Atlantic University, USA, USA) Henri Habrias (I.R.I.N. Nantes, France) Richard Banach (University of Manchester, UK) T.H. Tse (The University of Hong Kong, Hong Kong) Sijing Zhang (University of Derby, UK) Peter Lindsay (University of Queensland, Australia) Micheal Mac an Airchinnigh (Trinity College Dublin, Ireland) A. Jeff Offutt (George Mason University, USA) Sam Valentine (LiveDevices, York, UK) Hong Zhu (Oxford Brookes University, UK) K. D. Schewe (Massey University, New Zealand) Yingxu Wang (University of Calgary, Canada) Chris George (UNU/IIST, Macau) Thomas Santen (Technische Universitaet Berlin, Germany) Michael Butler (University of Southampton, UK) Dominique M�ry (Universit?Henri Poincar?Nancy 1, FRANCE) Yu Namsrai (Mongolian Technical University, Mongolia) Jeff Sanders (University of Oxford, UK) Wayne Luk (Imperial College, UK) Augusto Sampaio (Cidade Universitaria, Brazil) Farn Wang (Institute of Information Science, Academia Sinica, Taiwan, China) David Naumann (Stevens Institute of Technology, USA) Yakup Paker (University of London, UK) Junbo Liu (eCatalog Technology Architect, USA) Barrett R. Bryant: (The University of Alabama at Birmingham, USA) Bettina Buth (Bremen University, Demark) Jim Davies (University of Oxford, UK) Paul Swatman (Stuttgart Institute of Management and Technology, Germany) Mei Hong (Peking University, China) Xu Baowen ( Southeast University, China) Zheng Guoliang (Nanjing University, China) Sun yongqiang (Shanghai Jiaotong University, China) Wu Gengfeng (Shanghai University, China) Song Guoxin (East China University of Science and Technology, China) Feng Yuling (Software Institute of China Academy) Xue Jinyun (Jiangxi Normal University, China) Qian Leqiu (Fu Dan University, China) Huang Guoxing (East China Normal University, China) Miao Huaikou(Shanghai University, China) For further information, contact: Miao Huaikou School of Computer Engineering and Science 149 Yanchang Road, Shanghai, China phone:(86-21-56338101), fax (86-21-56333061) e-mail: [EMAIL PROTECTED] ************************************************************************ * Rose Forum is a public venue for ideas and discussions. * For technical support, visit http://www.rational.com/support * * Post or Reply to: [EMAIL PROTECTED] * Subscription Requests: [EMAIL PROTECTED] * Archive of messages: * http://www.rational.com/support/usergroups/rose/rose_forum.jsp * Other Requests: [EMAIL PROTECTED] * * To unsubscribe from the list, please send email * To: [EMAIL PROTECTED] * Subject: <BLANK> * Body: unsubscribe rose_forum *************************************************************************
