In the MSc Logic, every student must do research projects worth at least 6EC (and up to 24EC) 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.
Starting from September 2016, both coordinated and individual projects will be graded on a PASS/FAIL bases.
Coordinated Projects in January 2017 (see also previous projects)
- Measuring information in very large data sets (P. Adriaans, 6EC)
- Language & Games (T. Brochhagen and R.van Rooij, 6EC)
- Experimenting with Free Choice (A. Cremers, 6EC)
- Computational Complexity Analysis of Logic Problems (R. de Haan, 6EC)
The missing project descriptions will be added soon.
Presentations: The local instructors will introduce their projects during a meeting on Thursday 15 December 2016, from 17.00 to 18.00 in room F1.15 (ILLC Seminar Room) (TBC).
Deadline: To take one of these projects, you need to register by emailing the instructor(s) in question no later than Friday, 23 December 2016.
Schedule: The official project period will be 9 January - 3 February 2017. Contact your instructor(s) for full details.
The coordinated projects of June 2017 will get announced in March/April 2017.
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 as well as the programme director if such a project will be undertaken. 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 with the programme director.