[logic-ml] [CFP] ICFEM 2012 - 14th International Conference on Formal Engineering Methods

[Yuki Chiba]

(重複の場合はご容赦ください．)

皆様，

北陸先端科学技術大学院大学の千葉です．

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
-- 
Yuki Chiba
Japan Advanced Institute of Science and Technology (JAIST)
http://www.jaist.ac.jp/~chiba/index.html
chiba at jaist.ac.jp