(重複の場合はご容赦ください．)
皆様，
北陸先端科学技術大学院大学の千葉です．
11月に京都で開催されるICFEM 2012の参加募集を投稿させて頂きます． 是非参加をご検討下さい．
よろしくお願いします．
************************************************************ ICFEM 2012: 14th International Conference on Formal Engineering Methods 12th-16th, November, 2012 Kyoto Research Park, Kyoto, Japan URL: http://www.jaist.ac.jp/icfem2012 ************************************************************
CALL FOR PARTICIPATION
REGISTRATION ------------ Registration for ICFEM 2012 is now open. Please visit
http://www.jaist.ac.jp/icfem2012/registration/index.html.
To take advantage of early registration, kindly register before August 31, 2012. We encourage you to reserve your hotel rooms ASAP, since it is a peak season in Kyoto for brilliant autumn leaves!
This year's ICFEM has four affiliated workshops and a tutorial, and three prominent invited speakers. The program will be announced at the conference web site shortly.
CO-LOCATED EVENTS ----------------- - FTSCS 2012 : First International Workshop on Formal Techniques for Safety-Critical Systems, http://www.ftscs12.org/
- WSOFL 2012 : 2nd Workshop on SOFL, http://icfem-fema.org/sofl/
- Event-B 2012 : DS-Event-B-2012: Workshop on the experience of and advances in developing dependable systems in Event-B, http://research.nii.ac.jp/eventb2012/
- Japanese Workshop on Industrial Applications of Formal Methods
- CbC-Depend: Correct-by-Construction Development of Dependable Systems, Tutorial, http://www.rodintools.org/tutorial.html
INVITED SPEAKERS ---------------- - Darren Cofer (Rockwell Collins, USA), "Formal Methods in the Aerospace Industry: Follow the Money" - Robert Shostak (Vocera Communications, Inc., USA), "Applying Term Rewriting to Speech Recognition of Numbers" - Mario Tokoro (Sony Computer Science Laboratories, Inc., Japan), "Toward Practical Application of Formal Methods in Software Lifecycle Processes"
ACCEPTED PAPERS --------------- The list of accepted papers may be found at: http://www.jaist.ac.jp/icfem2012/acceptedPapers/index.html
ORGANIZATION COMMITTEE ----------------------- General Chairs: Kokichi Futatsugi, JAIST, Japan Shaoying Liu, Hosei Uni., Japan
Conference Chair: Hitoshi Ohsaki, AIST, Japan
Program Chairs: Kenji Taguchi, AIST, Japan Toshiaki Aoki, JAIST, Japan