In the MSc Logic, every student must do research projects worth at least 6 EC (and up to 24 EC) to graduate. These projects prepare students for the more intensive research work of the MSc thesis.
Each January and June, we offer several coordinated projects. These projects will be announced on this webpage at least one month before the project period and will be presented by the project instructors in a meeting a few weeks before they start.
In addition, students can do individual projects: they can approach a potential supervisor (a senior member of staff, a postdoc, a PhD candidate, or an academic visitor at the ILLC) and ask whether they can do a project or reading course with him or her. Individual projects can be done at any time of the year.
Both coordinated and individual projects will be graded on a PASS/FAIL basis.
Below is a (provisional) list of projects currently offered in the Master of Logic programme. Offerings of previous semesters are available here.
Coordinated projects, 1st Semester 2024/25:
- Effective Kan fibrations: A categorical adventure (Benno van den Berg, 6EC)
- Forcing and Independence Proofs (Yurii Khomskii, 6EC)
- Formalisation of gameplay strategies in a memory-based listening paradigm (Noah Henry, Henkjan Honing, 6EC)
- Introduction to Topology in and via Logic (Qian Chen, Rodrigo N. Almeida, Nick Bezhanishvili (Responsible), 6EC)
- Program induction and the ARC challenge (Fausto Carcassi, 6EC)
- Reasoning in Social Context (Sonja Smets, 6EC)
-
Presentations
The local instructors will introduce their projects during a meeting in December (January projects) or May (June project). The next project presentations will be held in the Graduation Trajectory.
Registration:
To take one of these projects, students need to contact the instructor by email.
Registration deadlines:- January projects: last Friday of Period 2 (end of December)
- June projects: last Friday of Period 5 (end of May)
The final list of coordinated projects offered in January is announced in November-December.
The final list of coordinated projects offered in June is announced in April-May.
-
For ILLC instructors
If you are interested in offering a coordinated project in the next project period please submit your proposal using the following form: https://msclogic.illc.uva.nl/current-students/courses/projects/submit-project/Once the project has been approved by the MoL director and you have the list of students who want to attend (by the end of December or May), please also register the project in DataNose and list all participants. Once the grades (pass/fail) are known, this is also the place to register those.
-
Individual Projects
Members of staff at the ILLC are often willing to do research projects with individual students. The initiative lies with the student. Please inform your academic mentor if such a project will be undertaken.
The supervisor of the project should register the project in DataNose right at the start.
The normal workload for a project is 6 EC (168 hours of work). Should the supervisor want to deviate from this norm, he or she should argue this when registering the project.