Lecturers: S. Autexier, Ch. Benzmüller, C. E. Brown, D. Hutter, A. Fiedler,
A. Meier, M. Pollet, T. Schmidt-Samoa, J. H. Siekmann, Georg Rock, W. Stephan, C.-P. Wirth
Tutorial by M. Wagner
 |
||||
 Infos |
Lectures |
Exercises |
Examination |
Literature |
|
||||
Time and Venue:
Lecture : Mondays 9:15-10:00 & 10:10-10:50 and Thursdays 11:15-12:00 & 12:10-12:50, Lecture Hall 003, Building 45
Tutorial : Thursdays 14:15-16:00, Room 016, Building 45
Marc Wagner (mwagner@ags.uni-sb.de) is responsible for the exercise sheets and the organisation of the tutorial groups.
All lecturers are reachable by email via mas0405@ags.uni-sb.de.
Registration:
Registration closed.
News:
25.02.05 Results of the oral exam online.
17.02.05 Preliminary version of the FO unification slides availeble; they are subject to be extended until beginning of next week.
17.02.05 Warmup Questions for the Oral Exam online.
16.02.05 IMPORTANT update of the oral exam schedule !!! All examinations will be on Friday, 25.02.05 !!!
04.02.05 Examination registration closed, Schedule of the oral exam online, Practical Exercise Sheet 2 online.
02.02.05 There will be no lecture on Monday, February 7th 2005.
01.02.05 Sample Solutions online.
27.01.05 Practical Exercise Sheet 1 and HowTos online, please read carefully the HowTo for your system BEFORE solving the exercise.
24.01.05 Distribution into Practical Exercise Groups online, Examination details online (please register soon!).
23.01.05 Exercise Sheet 8 online, Lecture slides online.
13.01.05 Exercise Sheet 7 online, Lecture slides online.
09.12.04 Exercise Sheet 6 online (Solution due by 20.12.04), missing bracket added in Exercise 5.2d), Lecture slides online.
02.12.04 Exercise Sheet 5 online (Solution due by 13.12.04), Lecture slides online.
25.11.04 Exercise Sheet 4 online.
22.11.04 Update of Exercise Sheet 3, exercises 3.5 and 3.6 postponed to Sheet 4.
18.11.04 Exercise Sheet 3 and Lecture slides online.
11.11.04 Exercise Sheet 2 online, Lecture slides updated.
04.11.04 Exercise Sheet 1 and Lecture slides online, Literature extended.
01.11.04 Literature added, Lecture slides online, Registration closed.
25.10.04 The tutorial starts on Thursday, November 4. Please check your registration here.
11.10.04 The first lecture is on Monday, October 25. A preliminary schedule is available here.