*******************************************************
Reminder Call for Papers -- Submission Date 14 May 2004
*******************************************************
INTERNATIONAL COLOGNET / FMEUROPE SYMPOSIUM ON TEACHING FORMAL METHODS
======================================================================
GHENT, BELGIUM, NOVEMBER 18--19, 2004
------------------------------------
Call for Papers
===============
We invite you to submit a paper (up to 20 pages) for this symposium.
Papers accepted for the symposium will be published in the Springer
LNCS Series.
The symposium will serve as a forum to explore the failures and
successes of Formal Methods education, to consider how the failings
might be resolved, to learn from the successes, and to promote
cooperative projects to further the teaching and learning
of Formal Methods (FMs).
Contributions are solicited that provide insight, opinions and
suggestions for course of action regarding the following aspects
of teaching formal methods:
o experiences of teaching Formal Methods, both successful and
unsuccessful;
o educational resources including the use of books, case studies and
the
internet;
o the education of weak and mathphobic students;
o the integration, or otherwise, of FMs into the curriculum;
o the advantages of FM trained graduates in the workplace;
o changing attitudes towards FMs in students, academic staff and
practitioners.
Important Dates
===============
Submissions due: 14 May 2004 (firm deadline)
Notification of acceptance: 9 July 2004
Final version to Program Chair: 13 August 2004
Target audience / sources of contributions
==========================================
Formal Methods educators, actual and potential,
administrators, industry managers,
technical and scientific publishers
Program Committee
=================
Neville Dean (Chair), Anglia Polytechnic University, UK
Vicki Almstrum, University of Texas at Austin, USA
Roland Backhouse, University of Nottingham, UK
Wolfgang Grieskamp, Microsoft Research, USA
Henri Habrias, University of Nantes, France
Andrew Martin, University of Oxford, UK
José Oliveira, Universidade do Minho, Braga, Portugal
Elvinia Riccobene, University of Catania, Italy
Further details
================
Further details may be found at:
http://www.intec.rug.ac.be/groupsites/formal/Sympos2004/Sympos2004.htm
-----------------------------------------------
This mail sent via IMP on webmail.cam.apu.ac.uk
|