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).
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.
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.
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