Projects

In the MSc Logic, every student must do research projects of at least 6 EC in total in order to graduate. In these projects students get prepared for the more intensive research work of the MSc thesis. They also guarantee that each graduate will have worked in at least two different areas.

Each January and June, we are offering coordinated projects. These projects will be announced on this webpage about a month before the project period and will be presented by the project instructors in a meeting a few weeks before the start of the project period.

In addition to that, students can do individual projects: they can approach a potential supervisor (a senior member of staff, a postdoc, a PhD student, 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 (not necessarily in January or June).

Coordinated Projects in June 2012 (see also: previous projects)

• Justification Logic (B. Renne, 6 EC)
• Negative Polarity Items of the Much Class (S. Solt, 6 EC)
• The Haskell Road to Logic, Maths and Programming (J. van Eijck, 6 EC)
• Category Theory (K. Kishida and S. Sourabh, 6 EC)

Deadline: To take one of these projects, you need to register with the instructor in question no later than Monday, 21 May 2012.

Schedule: The project period is 4-29 June 2012. Contact your instructor for full details.

Individual Projects

The ILLC staff members 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 standard amount of credits also for an indivudual project is 6 EC, which equals 168 hours of work. If the staff member wants to deviate from this amount of credits, he or she should argue this with the programme director.