[TYPES] CoLogNet/Formal Methods Europe 2004 Symposium on Teaching Formal Methods: Call for Participation

events-admin at fmeurope.org events-admin at fmeurope.org
Sat Sep 18 15:14:48 EDT 2004


CoLogNet / Formal Methods Europe 2004 Symposium on  Teaching Formal
Methods
===========================================================================

Date: 18-19 November 2004 Location: Ghent University (Belgium), "Het Pand"

Website:
http://www.intec.UGent.be/groupsites/formal/Sympos2004/Sympos2004.htm or
via the FMEurope entry page at http://www.fmeurope.org/

Registration fee: early (by Oct. 15): € 225; late: € 300; students: € 150.

Registration form: http://www.medicongress.com/Intec/Registration.php

This symposium will serve as a forum to explore the failures and successes
of Formal Methods
education, to consider how the failings might be resolved, to learn from
successes, and to promote
cooperative projects to further the teaching and learning of Formal Methods.

Invited talks will be given by David Gries (Cornell University), Leslie
Lamport (Microsoft),
Peter Pepper (Technische Universität Berlin).

Organization: Symposium chair: Raymond Boute (Ghent University, Belgium),

Program chair: C. Neville Dean (Anglia Polytechnic University, UK),

Organizing chair: Jean-François Raskin, Brussels University (Belgium)

Program overview (condensed)

Thursday, November 18
• (Invited talk:) Imparting Skill and Values, not just Knowledge. David
Gries (USA)
• A Beginner's Course on Reasoning about Imperative Programs. Kung-Kiu Lau
(UK) • Designing Algorithms in High School Mathematics. Sylvia da Rosa
(Uruguay) • Motivating Study of Formal Methods in the Classroom. J. N.
Reed (USA), J. E. Sinclair (UK).
• Formal Systems, Not Methods. M. Loomes, B. Christianson. N. Davey (UK) •
(Invited talk:) All I Really Need to Know I Learned in High School. Leslie
Lamport (USA)
• A Practice-Oriented Course on the Principles of Computation. Egon Börger
(Italy)
• Teaching How to Derive Correct Concurrent Programs. A. Herranz et al.
(Spain) • Specification-driven design with Eiffel and Agents. R. F. Paige
(UK), J. S. Ostroff (Canada)
• Integrating Formal Specification and Software Verification and
Validation. R. Duke et al. (Aus)

Friday, November 19
• (Invited talk:) Distributed Teaching of Formal Methods. Peter Pepper
(Germany)
• An Undergraduate Course on Protocol Engineering. M. J.
Fernandez-Iglesias et al. (Spain)
• Linking Paradigms, Semi-formal and Formal Notations. H. Habrias, S.
Faucou (France)
• Teaching Formal Methods in Context. J. Davies, A. Simpson, A. Martin
(UK) • Embedding Formal Development in Software Engineering. Ken Robinson
(Australia)
• Advertising Formal Methods and Organising their Teaching. Dino Mandrioli
(Italy)
• Retrospect and Prospect of Formal Methods Education in China. Yingzhou
et al. (China)
• A Survey of Formal Methods Courses in European Higher Education. FME
Subgroup on Education; J. N. Oliveira et al. (Portugal)
_______________________________________________
events mailing list
events at fmeurope.org
http://www.fmeurope.org/mailman/listinfo/events


More information about the Types-list mailing list