Stammvorlesung, Theoretische Informatik, Wintersemester 2001
Prof. Gert Smolka, Thorsten Brunklaus, Jan Schwinghammer
Prof. Andreas Podelski, Patrick Maier
Fachrichtung Informatik, Universitšt des Saarlandes
Monday and Wednesday, 9.15-11.00, HS 002, Building 45
First lecture: Wednesday, October 24, 2001
The course consists of two parts. The first part is on simply typed lambda calculus and will be given by Prof. Smolka. The second part is on program analysis and will be given by Prof. Podelski. The second part starts on Monday, January 7, 2001.