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 2019/20:
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 on Friday 13 December 2019, 5-7pm at ILLC.
Registration: To take one of these projects, students need to register via https://datanose.nl/#specialenrol, using the course code which you can find in the description of the project. Registration of grades is also via DataNose.
- 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/
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.