[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] Call for Papers: Formal Methods Education and Training



----------------------------------------------------------------------------

                                       Call for Papers

                                         FMET 2008

     First International Workshop in Formal Methods Education and Training (FMET) 2008

                                       28 October 2008

                     http://www.grace-center.jp/events/fmet2008/index.html

    affiliated with International Conference on Formal Engineering Methods (ICFEM) 2008

              Kitakyushu International Conference Center, Kitakyushu-City, Japan

               Sponsored by the GRACE Center, National Institute of Informatics

                              http://grace-center.jp/en/index.html

                              http://www.nii.ac.jp/index.shtml.en


----------------------------------------------------------------------------
Formal methods (FM) have an important role to play in the development of complex computing systems - a role acknowledged in industrial standards such as IEC 61508 and ISO/IEC 15408, and in the increasing use of precise modeling notations, semantic markup languages, and model-driven techniques.

There is a growing need for software engineers who can work effectively with simple, mathematical abstractions, and with practical notions of inference and proof. However, there is little clear guidance - for educators, for managers, or for the engineers themselves - as to what might comprise a basic education in FM.  The present IEEE/ACM SWEBOK (Software Engineering Body of Knowledge), in particular, lacks the kind of specific information that teachers and practitioners need to establish an adequate, balanced programme of learning in FM.

This workshop will provide a forum for the discussion of the key issues in formal methods education, with a particular focus upon the development and advocacy of a Formal Methods Body of Knowledge (FMBOK), analogous to the Institute of Project Management's PMBOK. This BOK would facilitate the design of appropriate programmes of education and training - undergraduate, graduate, and professional - for modern software engineers, as well as promoting the sharing of teaching approaches, educational tools, and teaching materials.

Contributions are invited on this theme, and on the related themes below:

     * Experience of teaching FM at higher/further education and in professional training at companies
     * The FM curriculum within computer science and software engineering curricula
     * Teaching methodologies for FM
     * Academic/industrial FM tools and education tools in teaching FM
     * Pre-requisites for FM education

Paper submission:

Extended Abstract (3 - 5 pages) should be submitted to fmet2008@xxxxxxxxxx The paper format can be found in the following URL:

                     http://www.grace-center.jp/events/fmet2008/submission.html

They will be reviewed, and a workshop proceedings will be published as a technical report from National Institute of Informatics. After the workshop, full papers will be solicited for submission and rigorously peer-reviewed for a special issue by ACM.

Important Dates:

Paper submission: August 15 2008

Notification of acceptance: September 15 2008

Final copy for proceedings: October 10 2008

Workshop Date:  28 October 2008

Program Chairs:
Jim Davies, University of Oxford, UK
Jeremy Gibbons, University of Oxford, UK
Mike Hinchey, Lero, University of Limerick, Ireland
Kenji Taguchi, National Institute of Informatics, Japan
 
Programme Committee Members:

Toshiaki Aoki, Japan Advanced Institute of Science and Technology, Japan
Cyrille Artho, Advanced Industrial Science and Technology (AIST)/RCIS, Japan
Raymond Boute, Ghent University, Belgium
Jim Davies, University of Oxford, UK
David Duce, Oxford Brookes University, UK
Lars-Henrik Eriksson, Uppsala University, Sweden
Chris George UNU/IIST, China
Jeremy Gibbons, University of Oxford, UK
J Paul Gibson, Telecom SudParis, France
Mike Hinchey, Lero, University of Limerick, Ireland
Shaoying Liu, Hosei University, Japan
Hideaki Nishihara, Advanced Industrial Science and Technology (AIST)/CVS, Japan
Wolfgang Reif, University of Augsburg, Germany
Steve Schneider, University of Surry, UK
Jing Sun, University of Auckland, New Zealand
Kenji Taguchi, National Institute of Informatics, Japan
T. H. Tse, University of Hong Kong, China
Burkhart Wolff, Universite de Paris 11, France
Wang Yi, Uppsala University, Sweden