Date Speaker Topic ------------------------------------------------------ 6.3. Josef Schicho Introduction 13.3. Nikolaj Popov Recursion Theory 20.3. Florian Bachinger Equational Theory 27.3. vacant 1st Order Predicate Logic 3.4. vacant Completeness Theorem 24.4. Peter Mayr Applied 1st Order Theory 8.5. Martin Semrad Euclidean Geometry 15.5. Georg Fuchsbauer Incompleteness Theorem 22.5. Rainer Stuetz Unsolvability of Diophantine Equations 29.5. Adrian Craciun Lambda Calculus 12.6. Manasi Athale Higher Order Logic 19.6. vacant Constructive Logic 26.6. Josef Schicho Miscellaneous