Meta Complexity
Master of Logic, Coordinated Project
University of Amsterdam, June 2025

Overview

In the first week, the course features some introductory lectures. In addition, you are expected to do some self-study of video recordings of lectures at the recent Simons Institute program on Meta Complexity. We will also have a Q&A session in the first week, where you can ask about and discuss the material in the video recordings.

In the second week, you will read and study a research paper on the topic of meta complexity. There will be opportunity to ask questions about the paper in the case that you get stuck or would like some help and/or guidance. You can indicate your preferences for which paper to study, and we will have a session where we agree on an (injective) assignment of (pairs of) students to papers, in order to make sure that the presentations provide us all with a varied and coherent view on the research field.

In the third or fourth week, we will have one or more sessions where all (pairs of) students present their paper. This will provide us all with a sort of workshop on recent developments in the research field. The main aim of the presentation is to educate your fellow students (and the lecturers) on the results and message of the paper that you're presenting.

(The remainder of) the final week is dedicated to writing a final report. This could be a summary of the paper, for example, where you describe the main results of the paper, their context, their impact on the field, and where you describe the main (technical) elements involved in the main proofs.

Grading

The course is graded on a pass/fail basis. Your grade will be based on your participation, on your presentation of one of the research papers, and on the final written report that you hand in.