Course Schedule

Ist
This page shows planning of the lectures of the IST course. See the [[education page]] for information about times and locations of lectures

----++ WEEK 1 (36)

   * Lecture 1
      * Topic: [[What is Software Technology?]]
      * Lecturer: Main.DoaitseSwierstra

   * Lecture 2
      * Topic:  [[The Master Program Software Technology]]
      * Lecturer:   [[Visser.WebHome][Eelco Visser]]

-----++ WEEK 2 (37)

   * Lecture 3
      * Topic:  cancelled due to sickness
      * Lecturer:   Doaitse Swierstra

   * Lecture 4
      * Topic: [[Program verification]]
      * Lecturer: Wishnu Prasetya

----++ WEEK 3 (38)

   * Lecture 5
      * Topic: [[Program verification]]
      * Lecturer: Wishnu Prasetya

   * Lecture 6 
      * Topic:   Generic programming
      * Lecturer:   Johan Jeuring

----++ WEEK 4 (39)

   * Lecture 7
      * Topic:   [[Program transformation]] (1)
      * Lecturer:   [[Visser.WebHome][Eelco Visser]]

   * Lecture 8
      * Topic:   [[Program transformation]] (2)
      * Lecturer:   [[Visser.WebHome][Eelco Visser]]

----++ WEEK 5 (40)

   * Lecture 9
      * Topic:   [[Program Analysis]] (1)
      * Lecturer:   Jurriaan Hage

   * Lecture 10
      * Topic:   [[Program Analysis]] (2)
      * Lecturer:   Jurriaan Hage

-----++ WEEK 6 (41)

   * Lecture 11
      * Topic:   [[Embedding Domain Specific Languages in Haskell]]
      * Lecturer:   Doaitse Swierstra

   * Lecture 12
      * Topic:   [[AdvancedHaskell]]
      * Lecturer:   Doaitse Swierstra

-----++ WEEK 7 (42)

   * Lecture 13
      * Topic:   Advanced Haskell (2)
      * Lecturer:   Doaitse Swierstra

   * Lecture 14
      * Topic:   Advanced Haskell (3)
      * Lecturer:   Doaitse Swierstra