(重複の場合はご容赦ください.)
皆様,
北陸先端科学技術大学院大学の千葉です.
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.htmlINVITED 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.htmlORGANIZATION 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
--
Yuki Chiba
Japan Advanced Institute of Science and Technology (JAIST)
http://www.jaist.ac.jp/~chiba/index.htmlch...@jaist.ac.jp