Saarland University
Computer Science
Programming Systems
Teaching
Advanced Topics in Semantics


Main page
Literature
Programme
Discussion board

Advanced Topics in Semantics

Seminar, 7 Credit Points

Summer term 2008

Dr. Jan Schwinghammer, Prof. Gert Smolka,
Programming Systems Lab, Department of Computer Science, Saarland University

In this seminar we will take up some ideas introduced in the semantics course, and extend them in various directions. Topics include:

The seminar will be based on the book Advanced Topics in Types and Programming Languages, edited by Benjamin Pierce, as well as some original research articles.

Organization

The seminar will be split into two parts:

We will meet Fridays from 12:45 to 14:00 in seminar room 528 (Building E1.3).

The provisional schedule is as follows:

The first round of talks will be Friday, July 18th, from 15:30-17:30. The second round will be on Friday, September 26th, from 18:00-20:00 (time may still change).

Requirements

This seminar requires a certain mathematical maturity. You should have successfully participated in the "Semantics" course, or be prepared to acquire the necessary background in self-study.

Assessment and work load

To obtain the credit points assigned to this course, you have to

Expect to work one full day per week for this seminar.

Registration

The initial meeting took place on Friday, 18.04.2008, and registration for the seminar is now closed. Guests are always welcome during the reading group and talks; simply send an email.

Last Change: Sat Oct 28 17:12:37 2017 |