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 (more projects will be added in the following weeks). Offerings of previous semesters are available here.
Coordinated projects, 1st Semester 2018/19:
Presentations: The local instructors will introduce their projects during a meeting on Monday 17 December 2018, 6-7pm 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, 21 December 2018.
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 2019 will be announced in November-December 2018.
The final list of coordinated projects offered in June 2019 will be announced in April-May 2019.
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.