All students are required to participate in the course ‘Logic, Language and Computation', which  provides an introduction to research areas that are being pursued at the ILLC. Depending on their background, students can choose between four tracks:

1. Logic and Mathematics; Courses offered in the track Logic and Mathematics focus on the mathematics of modal logic, mathematical analysis of games and set and model theory.
2. Logic and Computation; The Logic and Computation track focuses on games in computer science, complexity theory and algorithms.
3. Logic and Philosophy; courses in the track Logic and Philosophy focus on the philosophy of language and cognitive science.
4. Logic and Language; Logic and Language track offers courses that focus on formal models for natural language semantics and computational linguistics.

You can thus expand on the original field of your Bachelor's programme while simultaneously working toward common goals and shared interests with students from a wide variety of backgrounds.

Mentor

Each student is assigned a member of the academic staff as a mentor. Mentors help students design individual curricula according to their specific strengths, educational needs and interests.

Research-based thesis

During the second semester of the second year of the programme, each student writes a research-based thesis under the close supervision of an ILLC staff member. Upon successful completion, the thesis will be published in the ILLC Publication series.

Detailed curriculum and course information

For detailed information regarding courses, please see the UvA Course Catalogue
For detailed information about the curriculum, please see the website of the ILLC

Bring your own device

All students enrolled in Logic are requested to bring their own laptop, due to the nature of the programme. More information on specific system requirements can be found here.

Accreditation and academic title

Degree requirements

A Master of Science in Logic is awarded upon successful completion of all the core courses in the curriculum and a written Master's thesis based on an independent research project. This translates into a total of 120 EC credits.

Accreditation

The Master's programme in Logic has been legally accredited by the Accreditation Organisation of the Netherlands and Flanders (NVAO)  and has received the top ranking of ‘excellent' (= world leader in this area) in the categories ‘research quality of the programme', ‘research quality of the teaching staff', ‘student support and guidance' and ‘results of the programme'.

Upon successful completion of the programme students will receive an accredited Master's degree in Logic and the title Master of Science (MSc).