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, 2nd Semester 2018/19:
Presentations: The local instructors will introduce their projects during a meeting on Friday 17 May at 14:30 in room F1.15 (ILLC seminar room).
Deadline: To take one of these projects, you need to email the instructor(s) in question no later than Friday, 24 May 2019.
Registration: is 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.
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.
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.