[isabelle] Call for Participation : ICFEM 2012 (12-16th Nov. 2012, Kyoto)



************************************************************
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



-- 
Takashi KITAMURA Ph.D.
t.kitamura at aist.go.jp
Research Institute for Secure Systems (RISEC)
National Institute of Advanced Industrial Science and Technology (AIST)
Nakoji 3-11-46, Amagasaki, Hyogo 661-0974, Japan
Tel: +81-6-6494-8054 Fax: +81-6-6494-8073





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.