[Haskell-cafe] TFM09: Call for Participation (FMWeek, Eindhoven, November 2009)

[J.N. Oliveira]

                                                  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)



-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20090920/0300d13c/attachment.html