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

Takashi KITAMURA t.kitamura at aist.go.jp
Tue Aug 21 02:48:46 EDT 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


Registration for ICFEM 2012 is now open. Please visit


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.

- 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

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

The list of accepted papers may be found at:

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

More information about the Types-announce mailing list