Talk proposals

Your task is to make a presentation with slides (latex, powerpoint, ...)

You should do your best to convey as much interesting information about the topic as possible in the short time given to you. Try to pitch it at the right level so that your fellow students will be able to follow the presentation.

You should work in pairs, and you should divide the presentation roughly equally between each other.

You can either present a chapter from Pierce:

Or you can present a classical research paper: Some more difficult but important papers are:

Other topics in the general area of type systems are also welcome, but please discuss with us if you want to present a paper which is not listed above! For example, many of the

listed by Benjamin Pierce would be suitable for presentation.