Presentation Submission (June 3)
- The presentation (slide set) is submitted as a single PDF file.
- It is written in English.
- It is typeset with the LaTex beamer class.
- It yields a presentation of 15-20 minutes (typically 5-7 "core" slides plus cover slide and conclusion slide).
- Its core is the formal model you have elaborated.