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 (ltp@imm.dtu.dk), 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 ...
