Im Rahmen des Seminars werden Themen aus dem Bereich der formalen Methoden, insbes. der algebraischen Semantik/algebraischen Logik behandelt. Das Seminar findet als Blockveranstaltung statt. Die Themen (-bereiche) werden zu Beginn der Vorlesungszeit hier veröffentlicht. Die Zuteilung erfolgt in einer ersten Besprechung vor Ort. In der Semestermitte (Ende Dezember/Anfang Januar) findet ein Zwischenbesprechungstermin. Die Präsentation findet in der vorlesungsfreien Zeit statt. Der genaue Termin wird bei der Zwischenbesprechung festgelegt. Präsentationsmaterialen müssen 1 Woche vor dem Vortragstermin eingereicht werden. Die schriftliche Ausarbeitung muß 2 Wochen nach dem Vortragstermin eingereicht werden. Die Note berechnet sich 50/50 aus Vortrag und Ausarbeitung.