Seminar Hot Topics in Operating Systems
Seminar Type Systems
Advanced Techniques of Functional Programming
Protocols and Data Formats of the World Wide Web