Programme of FORMED at ETAPS 2008

(Formal Methods in Computer Science Education)

Saturday, March 29, room: Room I.

09:00 - 10:15 SESSION 1

Teaching Formal Methods: an Experience with Event-B
Jean-Raymond Abrial (Swiss Federal Institute of Technology Zurich)

10:15 - 10:45 Coffee

10:45 - 12:15 SESSION 2

Teaching specifications, hands on
Henri Habrias (Université de Nantes, France)
Reflecting on the Future: Objectives, Strategies and Experiences
Ken Robinson (School of Computer Science & Engineering, The University of New South Wales, Australia)
EB: A constructive approach for the teaching of data structures
Marc Guyomard (Enssat/Irisa, Université de Rennes 1, France)
Assisted Calculational Proofs and Proof Checking Based on Partial Orders
Jaime Bohorquez (Departamento de Ingenieré­a de Sistemas Escuela Colombiana de Ingenieré­a, Colombia)
Camilo Rocha (Department of Computer Science, University of Illinois at Urbana-Champaign, USA)
A Hoare-Style Calculus with Explicit State Updates
Reiner Hähnle and Richard Bubel (Department of Computer Science and Engineering, Chalmers University of Technology and Göteborg University)
How Do I Know If My Design Is Correct?
J Paul Gibson, Eric Lallet and Jean-Luc Raffy (Institut National des Télécommunications, France)

12:30 - 14:00 Lunch

14:00 - 16:00 SESSION 3

Experiences of Teaching a Lightweight Formal Method
R.C. Boyatt and J.E. Sinclair (Department of Computer Science, University of Warwick, UK)
Introducing Alloy in a Software Modelling Course
James Noble, David J. Pearce and Lindsay Groves (Victoria University of Wellington, New Zealand)
How to Teach to Write a Proof
Adam Naumowicz (Institute of Computer Science, University of Bialystok, Poland)
Teaching Distributed Algorithmics Using SPIN
Claude Jard (European University of Britanny, France)
Teaching logic using a state-of-the-art proof assistant
Cezary Kaliszyk and Freek Wiedijk (Radboud Universiteit Nijmegen, The Netherlands)
Maxim Hendriks and Femke van Raamsdonk (Vrije Universiteit Amsterdam, The Netherlands)
A Prototype Environment for Verification of Recursive Functional Programs
Nikolaj Popov and Tudor Jebelean (RISC, Johannes Kepler University, Austria)

16:00 - 16:30 Coffee

16:30 - 18:00 SESSION 4

Teaching Model-Based Testing with Leirios Test Generator
Frédéric Dadeau and Régis Tissot (Laboratoire d'Informatique, Université de Franche-Comté, France)
Generic algorithm patterns
Tibor Gregorics and Sándor Sike (Department of Software Technology and Methodology, Faculty of Informatics, Eötvös Loránd University, Hungary)
Formal Methods: Never Too Young to Start
J. Paul Gibson (Institut National des Télécommunications, France)
Structured Derivations: a Logic Based Approach to Teaching Mathematics
Ralph-Johan Back, Linda Mannila and Patrick Sibelius (Department of IT, Ábo Akademi University, Finland)
Mia Peltoméki (Department of IT, University of Turku, Finland)
Specialized Education in Software Model Checking
Cyrille Artho (Research Center for Information Security (RCIS), National Institute of Advanced Industrial Science and Technology (AIST), Japan)
Kenji Taguchi, Yasuyuki Tahara and Shinichi Honiden (Information Systems Architecture Science Research Division, National Institute of Informatics, Japan)
Yoshinori Tanabe (Research Center for Verification and Semantics (CVS), National Institute of Advanced Industrial Science and Technology (AIST), Japan)

Detailed Programme Information:

ETAPS 2008 | Top | HTML 4.01 | Last Update: 2008-01-13