Ph.D. and M.Sc. School in

Computer Science - Types at Work

DTU Campus , August 10th to 21st 2009

General information regarding the course


  • Title: Types at Work
  • Date: 10th - 21th of August 2009
  • Application deadline: June 26th
  • Deadline for accommodation arrangements through us: May 25th
  • Venue: DTU Campus (First day: DTU Informatics building 322, room 033, @ 0900 AM)
  • Credits: 5 ECTS
  • Evaluation: Individual oral presentation based on written report (possibly group report) and accompanied by pdf-slides. The grading uses the 7 point scale (spanning from -3 to 12) and is performed by the teachers on the course.
  • For registration (and enquiries) please contact: Lis Tokkesdal (, telephone 4525 3393.
  • Prerequisites: Students are expected to have a Bachehor's degree in Computer Science and some previous exposure to:
    • (a) operational semantics (or transition systems)
    • (b) axiomatic definitions using axioms and inference rules (or logic in general)
    • (c) knowledge of imperative and declarative programming languages
    • (d) programs operating on programs: compilers, interpreters, pretty-printers, etc ...

Ph.D. and M.Sc.School in Computer Science - Types at Work, DTU, DK-2800 Lyngby