TFM 2004: Ghent, Belgium

• Kung-Kiu Lau:
  A Beginner's Course on Reasoning About Imperative Programs. 1-16
  
• Sylvia da Rosa:
  Designing Algorithms in High School Mathematics. 17-31
  
• Joy N. Reed, Jane Sinclair:
  Motivating Study of Formal Methods in the Classroom. 32-46
  
• Martin Loomes, Bruce Christianson, Neil Davey:
  Formal Systems, Not Methods. 47-64
  
• Egon Börger:
  A Practice-Oriented Course on the Principles of Computation, Programming, and System Design and Analysis. 65-84
  
• Manuel Carro, Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro:
  Teaching How to Derive Correct Concurrent Programs from State-Based Specifications and Code Patterns. 85-106
  
• Richard F. Paige, Jonathan S. Ostroff:
  Specification-Driven Design with Eiffel and Agents for Teaching Lightweight Formal Methods. 107-123
  
• Roger Duke, Tim Miller, Paul A. Strooper:
  Integrating Formal Specification and Software Verification and Validation. 124-139
  
• Peter Pepper:
  Distributed Teaching of Formal Methods. 140-152
  
• Manuel J. Fernández Iglesias, Martín Llamas Nistal:
  An Undergraduate Course on Protocol Engineering - How to Teach Formal Methods Without Scaring Students. 153-165
  
• Henri Habrias, Sébastien Faucou:
  Linking Paradigms, Semi-formal and Formal Notations. 166-184
  
• Jim Davies, Andrew Simpson, Andrew Martin:
  Teaching Formal Methods in Context. 185-202
  
• Ken Robinson:
  Embedding Formal Development in Software Engineering. 203-213
  
• Dino Mandrioli:
  Advertising Formal Methods and Organizing Their Teaching: Yes, but .... 214-224
  
• Baowen Xu, Yingzhou Zhang, Yanhui Li:
  Retrospect and Prospect of Formal Methods Education in China. 225-234
  
• José Nuno Oliveira:
  A Survey of Formal Methods Courses in European Higher Education. 235-248