Software Improvement Group (SIG) , Amsterdam, Netherlands
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. We would like to provide a forum for lecturers, teachers, and industrial partners to discuss their experience, present their pedagogical methodologies, and explore best practices.
TFM2009 follows in a series of recent events on teaching formal methods, including: two BCS-FACS TFM workshops (Oxford in 2003, and London in 2006), the TFM 2004 conference in Ghent (with proceedings published as Springer LNCS Volume 3294), the FM-Ed 2006 workshop (Hamilton, co-located with FM'06), FORMED (Budapest, at ETAPS 2008), FMET 2008 (Kitakyushu 2008, co-located with ICFEM), etc.
| Jeff Kramer, Imperial College London, UK |
| 09.00 | Session 1 [Invited Talk] (Chair: José Oliveira) | |
| Abstraction and Modelling: A Complementary Partnership (slides) | ||
| Jeff Kramer | ||
| 10.00 | FM'11 | |
| 10.15 | Coffee-break | |
| 10.45 | Session 2 (Chair: Wolfgang Schreiner) | |
| Teaching Formal Methods for the Unconquered Territory (slides) | ||
| Nestor Catano, Camilo Rueda | ||
| Teaching Formal Methods based on Rewriting Logic and Maude (slides) | ||
| Peter Olveczky | ||
| Which Mathematics for the Information Society? (slides) | ||
| João Ferreira, Alexandra Mendes, Roland Backhouse, Luis Barbosa | ||
| 11.45 | Break | |
| 12.00 | Session 3 (Chair: Randolph Johnson) | |
| What Top-Level Software Engineers Tackle after Learning Formal Methods - Experiences from the Top SE Project (slides) | ||
| Fuyuki Ishikawa, Kenji Taguchi, Nobukazu Yoshioka, Shinichi Honiden | ||
| Chief Chefs of Z to Alloy: Using A Kitchen Example to Teach Alloy with Z (slides) | ||
| Sureyya Tarkan, Vibha Sazawal | ||
| Teaching program specification and verification using JML and ESC/Java2 (slides) | ||
| Erik Poll | ||
| 13.00 | Lunch | |
| 14.00 | Session 4 (Chair: John Fitzgerald) | |
| How to explain mistakes (slides) | ||
| Stefan Hallerstede, Michael Leuschel | ||
| Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification (slides) | ||
| Wolfgang Ahrendt, Richard Bubel, Reiner Haehnle | ||
| On Teaching Formal Methods: Behavior Models and Code Analysis (slides) | ||
| Jan Kofron, Ondrej Sery, Pavel Parizek | ||
| 15.00 | Coffee-break | |
| 15.30 | Session 5 (Chair: Mike Hinchey) | |
| Teaching Concurrency: Theory in Practice | ||
| Luca Aceto, Anna Ingolfsdottir, Kim Guldstrand Larsen, Jiri Srba | ||
| Panel on the prospect of building a Body of Knowledge on Formal Methods (FMBoK) [1 hour] | ||
| Panelists: Kenji Taguchi, Peter Larsen, Randolph Johnson, José Oliveira | ||
| Closing discussion [40 mins] | ||
| (All participants invited to contribute) | ||
| 17.30 | Closing |
The proceedings of the conference are available as a volume in Springer's LNCS series. You can find information about it here or access the on-line version.
| 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) |
| José 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) |
| Simão Melo de Sousa | (Universidade da Beira Interior, Portugal) |
| Kenji Taguchi | (National Institute of Informatics, Japan) |
| Jeannette Wing | (Carnegie-Mellon University, USA) |
Formal Methods Europe Association
(FME)
Software Improvement Group
(SIG)
, Amsterdam, Netherlands
