Wahlpflichtveranstaltungen Theoretische Informatik

Der Lehrstuhl bietet laufend Wahlpflichtveranstaltungen an, unter anderem die unten aufgelisteten. Sämtliche Veranstaltungen werden sowohl für das Bachelor- als auch für das Masterstudium angeboten. Weitere Theorieangebote im Bereich Algorithmen und Komplexität finden auf den Seiten des LS12

Regelmäßig angebotene Veranstaltungen

• Algebra des Programmierens
• Algebraische und logische Aspekte der Automatentheorie
• Formale Verifikation
• Kommunikation und parallele Prozesse
• Beschreibungslogik und formale Ontologien
• Praktische Semantik von Programmiersprachen
• Monad-Based Programming
• Seminare, z.B. Nominale Mengen und Automaten, Koalgebraische Logik, Automaten auf unendlichen Wörtern, Themen der Kategorientheorie, Homotopy Type Theory, Curry-Howard-Isomorphie
• Oberseminar

Gelegentlich oder gemäß Nachfrage angebotene Veranstaltungen

• Introduction to Finite Model Theory
• Introduction to Dependently Typed Programming
• Termersetzungssysteme
• Nonclassical Logics in Computer Science
• Modallogik