Home
Contact Information
Research
Teaching
     Courses
     Summer School Presentations
Publications
Proffesional Activities
Electronic Math
Four Ferries
Personal Pages
Related Links




        

Summer Schools and Tutorials

I have been most of the time on leave of absence, mostly in different kinds of research and management positions. I have been director of TUCS 1995 -- 2002, a position that involved management and research but no teaching. In 2002 - 2007, I have been Academy professor at the Academy of Finland, a full time research position. Hence, I have not been very active in teaching at the department for some time. I have, however, been giving a number of summer school lectures and tutorials over the years. A collection of lecture slides from most recent courses is given below.

FM 2008  Tutorial on Teaching Mathematics and Programming in High School, Turku May 2008

• Teaching mathematics with structured derivations
• Invariant based programming
• Structured derivations in high school mathematics - Teaching experiments (Peltomäki)
  
• Structured derivations in Education - Experiences from individual courses (Mannila)
  

LASER Summer School, Elba September 2006

• Invariant based programming
• Incremental software construction
  

Marktoberdorf Summer School, Marktoberdorf, Germany  2004

• Incremental Software Construction
• Combining Stepwise Feature introduction with User-centric Design
  
• Stepwise Feature Introduction

Tieteen päivät,  Helsinki 2004 (Science day)

• Miten tehdä virheettömiä ohjelmia
• Matematiikan ohjelmointi

EEF Summer School of Specification, Refinement and Verification, Turku, 2002

• Refinement Calculus Foundations and Applications
• Temporal Reasoning with Contracts
  
• UML Use Cases
  

WG2.3 Summer school in  Tunis, Tunisia 2002  and in Tandil, Argentina 2001

• Refinement calculus overview
  
• Enforcing Behvior with Contracts
  
• Describing UML Use Cases as Contracts
• Doing High-School Mathematics Carefully