Schedule and courses for

the Master Class 2006-2007

Logic

- There are two semesters each with 12 weeks of lectures and a break in the middle.

- There is a long Christmas break (also to prepare for exams).

- At the end there are 7 weeks for the last exams and to finnish the work on the test problem.

- The official closing ceremony (when the diplomas will be handed to the participants) will be on in June 2007 (more precise coordinates will be given later).

  • Dates and places for the courses: see below. "Wiskundegebouw" means Mathematics building. "BBL" means Buys Ballot building (this is close to the Maths building). In Nijmegen, the courses take place in the Huygensgebouw ("HG03" means Huygensgebouw, third floor) on the university campus. This is close to railway station Nijmegen-Heyendaal. From Nijmegen central railway station, one can also take a bus labelled "shuttle Heyendaal" (bus number 10), and get off at stop "universiteit/oostzijde".
  • Weeks 38 - 50 : first semester (Week 38 is the week starting on Monday September 18)
  • Week 45 : Autumn break (Week 45 starts on Monday November 6)

    • Course

    Lecturer

    Place

    Day and time

    Recursion Theory/Proof Theory

    Bas Terwijn

    Utrecht, Wiskundegebouw 611a

    Thursday, 10-13

    Model Theory

    Wim Veldman

    Nijmegen, HG03.054

    Wednesday, 14-17

    Typed Lambda Calculus

    Henk Barendregt

    Nijmegen, HG03.054

    Wednesday, 10-13

    Seminar on Category Theory

    the students, supervised by Ieke Moerdijk and Jaap van Oosten

    Utrecht, BBL 107

    Friday, 10-13

    - Any changes in the schedule will be posted on this home-page.

  • January 2007: vacation + study for exams

  • Week 5, 2007: exams for semester 1 (Week 5 starts on Monday January 29)

  • Weeks 6-18: Second semester.

    • Week 12: Spring break (Week 12 starts Monday March 19).

    Course

    Lecturer

    Place

    Day and time

    Arithmetic

    Albert Visser

    Utrecht, WG 611A

    Thursday, 10-13

    Seminar on Type theory and Proof Assistants

    the students, supervised by Herman Geuvers and Bas Spitters

    Nijmegen, HG03.054

    Wednesday, 10-13

    Topos Theory

    Ieke Moerdijk and Jaap van Oosten

    Utrecht, WG 611A

    Friday, 10-13

    Constructivism

    Wim Veldman and Bas Spitters

    Nijmegen, HG03.054

    Wednesday, 14-17

    - Any changes in the schedule will be posted on this home-page.

  • Week 21: exams for semester 2 (Week 21 starts Monday May 21).
    Exam Constructivism and Continuum: May 23, 14-17 (Nijmegen)
    Exam Topos Theory: May 25, 10-13 (Utrecht), Wiskunde, room K11
    Exam Type Theory: May 30, 11-14
  • May- June 2007: exams and work on the test problem.

  • Week 25: final week for handing in test problems and grades (ultimately due Thursday June 21)
  • Closing ceremony (when the diplomas will be handed to the participants): June 21, 2007, Academiegebouw, Senaatszaal, 13:30--15:00.

    • - Lecture notes, exercises, etc: Here we will add the lecture notes that will become available, list with homeworks, etc.
    Page for the Student Seminar in Category Theory
    Page for the seminar Type Theory and Proof assistants
    Preliminary Lecture Notes for the course in Topos Theory