Assignment 5 – Project selection

Due Thursday 5/16 1:59pm

It is time to pick a paper for your project, form a team to work on the project and prepare a first informal presentation of the paper. The presentation should be short (15 minutes) and should give a high-level description of the subject of the paper, a description of the formalisms that you will encode in PLT Redex and an explanation of the properties that you will explore. The web page of the class includes a few project suggestions but feel free to propose your own.

Deliverables: By Saturday, send an email to Christos with the details of your team, the title of the paper you would like to work on and a list of times we can meet and discuss about the project. Next Thursday (5/16), you will be presenting your selected paper in class as a team.