Talk proposals

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

You can either choose to present a chapter from Pierce or a research paper in the area of type system. This year we will introduce yet another option: to carry out an Agda development and present it to the class.

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.

Here are some suitable chapters from Pierce:

And here are some classical research papers: 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.