Teaching

From PLSwiki

Contents 1 Courses 2 Ph.D. courses Spring 2010 3 Previously Offered 4 Seminars and Reading Groups

Courses

For regular courses, please see ITU course data base.

Ph.D. courses Spring 2010

• Category Theory
• Modular Software Verification
• Advanced Semantics Seminar
• Functional Reactive Programming/Functional Hybrid Modelling

Previously Offered

• Automated Theorem Proving: Andrzej, Carsten
• Advanced Seminar on Linear Logic: Soeren, Rasmus, Carsten
• Advanced Seminar on Semantics and Types: Thomas, Marco, Mikkel

Seminars and Reading Groups

• Process Algebraic and Agent-based Modeling of Biological Systems: Troels
• Reading Group POPL 2010