2-6 November 2009
Teaching Formal Methods. Eindhoven, The Netherlands
TFM2009
2nd Int. FME Conference on Teaching Formal Methods
Friday, November 6th 2009, co-located with
FM2009 : 16th Int. Symposium on Formal Methods
Eindhoven, the Netherlands, November 2 - November 6, 2009
CALL FOR PARTICIPATION
(URL: http://www.di.uminho.pt/tfm09)
1. About the conference
-----------------------
Ten years after the First World Formal Methods Congress (FM'99) in
Toulouse,
formal methods communities from all over the world will once again
have an
opportunity to come together. As part of the First Formal Methods Week
event surrounding the FM2009 conference in Eindhoven, Formal Methods
Europe
will be organizing TFM2009, the Second International Conference on
Teaching Formal Methods.
The conference will serve as a forum to explore the successes and
failures
of Formal Methods (FM) education, and to promote cooperative projects to
further education and training in FMs.
TFM2009 will include a panel discussion on the idea of building a 'Guide
to the Formal Methods Body of Knowledge' (FMBoK), inspired by similar
efforts for software engineering (SWEBoK) and for project management
(PMBoK); such a resource would provide guidance to teachers, managers,
and developers on what should be expected from a comprehensive,
balanced programme of education in FMs.
2. Invited speaker
------------------
Jeff Kramer (Imperial College London, UK)
3. Accepted papers
------------------
* Teaching Concurrency: Theory in Practice (Luca Aceto, Anna
Ingolfsdottir, Kim Guldstrand Larsen, Jiri Srba)
* Integrated and Tool-Supported Teaching of Testing, Debugging, and
Verification (Wolfgang Ahrendt, Richard Bubel, Reiner Haehnle)
* What Top-Level Software Engineers Tackle after Learning Formal
Methods
- Experiences from the Top SE Project (Fuyuki Ishikawa, Kenji
Taguchi,
Nobukazu Yoshioka, Shinichi Honiden)
* Teaching program specification and verification using JML and
ESC/Java2 (Erik Poll)
* Chief Chefs of Z to Alloy: Using A Kitchen Example to Teach
Alloy with
Z (Sureyya Tarkan, Vibha Sazawal)
* Teaching Formal Methods based on Rewriting Logic and Maude
(Peter Olveczky)
* Which Mathematics for the Information Society? (Joao Ferreira,
Alexandra Mendes, Roland Backhouse, Luis Barbosa)
* How to explain mistakes (Stefan Hallerstede, Michael Leuschel)
* On Teaching Formal Methods: Behavior Models and Code Analysis (Jan
Kofron, Ondrej Sery, Pavel Parizek)
* Teaching Formal Methods for the Unconquered Territory (Nestor
Catano,
Camilo Rueda)
4. Sponsors
--------------
* Formal Methods Europe Association (FME)
* Software Improvement Group (SIG) , Amsterdam, Netherlands
5. Programme Committee
----------------------
Izzat Alsmadi (North Dakota State University, USA)
Dines Bjorner (IIMM Institute, Denmark)
Eerke Boiten (University of Kent, UK)
Raymond Boute (Universiteit Gent, Belgium)
Andrew Butterfield (Trinity College, Dublin)
Jim Davies (University of Oxford, UK)
David Duce (Oxford Brookes University, UK)
John Fitzgerald (University of Newcastle upon Tyne, UK)
Jeremy Gibbons (University of Oxford, UK)
Randolph Johnson (National Security Agency, USA)
Michael Mac an Airchinnigh (Trinity College, Dublin)
Dino Mandrioli (Politecnico di Milano, Italy)
Jose Oliveira (Universidade do Minho, Portugal)
Kees Pronk (Technische Universiteit Delft, NL)
Bernhard Schaetz (Tecnical University of Munique, Germany)
Wolfgang Schreiner (Johannes Kepler University Linz, Austria)
Simao Melo de Sousa (Universidade da Beira Interior, Portugal)
Kenji Taguchi (National Institute of Informatics, Japan)
Jeannette Wing (Carnegie-Mellon University, USA)