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 June 2017 (see also previous projects)
- Incremental interpretation of anaphoric relations (J. Dotlacil, 6EC)
- Seminars in Set Theory (L. Galeotti and Y. Khomskii, 6EC)
- Quantum Cryptography (C. Schaffner, Y. Dulek & J. Czajkowski, 6EC)
- Frame-based Bayesian Interpretation of Natural Language (H. Zeevat, 6EC)
- Truth theories and their strength (C. Cieslinski (Warsaw), 2EC)
Presentations: The local instructors will introduce their projects during a meeting on Monday 15 May 2017, from 5.30-7pm, 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, 26 May 2017.
Schedule: The official project period will be 5 June - 30 June 2017. Contact your instructor(s) for full details.
The coordinated projects of January 2018 will get announced in November 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.