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 between each other.

You can either present a chapter from Pierce:

Or you can present a classical research paper: The level of difficulty of these paper varies.

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