Programme
08:30 - 9:00: Registration
9:00 - 9:10: Opening Remark
9:10 - 10:10: Invited Talk (Chair: Mike Hinchey)
FORMAL METHODS versus ENGINEERING
Tom Maibaum
10:10 - 10:40 Coffee Break
10:40 - 12:10 Session 1
FM Education and CS (Chair: Toshiaki Aoki)
Teaching Formal Methods in the Context of Software Engineering
Shaoying Liu
Formal Methods: Teaching and Practicing Computer Science at the University Level
Raymond Boute
An Introductory Course on Programming based on Formal Specification and Program Calculation
Nazareno Aguirre, Javier Blanco, Maria Marta Novaira, Sonia Permigiani and Gaston Scilingo
12:30 - 14:00 Lunch
14:00 - 15:00 Session 2
FM Education in Japan (Chair: Shaoying Liu)
Education Course of Practical Model Checking
Yasuyuki Tahara, Nobukazu Yoshioka, Kenji Taguchi, Toshiaki Aoki, Shinichi Honiden
Model Checking Education for Software Engineers in Japan
Hideaki Nishihara, Koichi Shinozaki, Koji Hayamizu, Toshiaki Aoki, Kenji Taguchi and Fumihiro Kumeno
15:00 - 15:30 Coffee Break
15:30 - 16:30 Session 2
Wider Spectrum in FM Education (Chair: Hideki Nishihara)
A simple refinement-based method for constructing algorithms
Dominique Mery
Formal Methods for Electronic Government
Jim Davies and Jeremy Gibbons
16:30 - 17:30 Panel Session (Chair: Jeremy Gibbons)
FMBOK
17:30 Closing Session