The Coq mailing list

[Jeremy.Gibbons AT comlab.ox.ac.uk]

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

                                       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 AT nii.ac.jp.
 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