Programme of FORMED at ETAPS 2008
Saturday, March 29, room: Room I.
09:00 - 10:15 SESSION 1
- INVITED TALK
- 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:
- Main Conferences:
Complete Programme,
CC,
ESOP,
FASE,
FOSSACS,
TACAS
- Workshops:
ACCAT,
ByteCode,
COCV,
CMCS,
DCC,
FESCA,
FIT,
FORMED,
GALOP,
GT-VMT,
LDTA,
MBT,
MOMPES,
PDMC,
QAPL,
RV,
SafeCert,
SC,
SLA++P,
WGT,
WRLA
ETAPS 2008 |
Top |
HTML 4.01 |
Last Update: 2008-01-13