Home

Fachgebiet Formale Methoden der Informatik an der UDE

This was a temporary/substitute page, created due to a major IT security incident at the university. The main pages have returned to normal now.

Wissenschaftliches Personal

Sekretariat

Lehre

Die Lehrveranstaltungen des Wintersemesters 2022/23 finden zu den bekannten Präsenzterminen statt. Die jeweiligen Lehrpersonen sind dort ansprechbar, der Zugang zu neuen Kursmaterialien wurde bereits erklärt.

Für eventuelle Abschlussarbeiten erfolgt eine Ansprache aktuell am besten, indem Sie zu unseren Büros kommen. Unsere allgemeinen Hinweise zum Ablauf/Vorgehen bei Bachelor- und Masterarbeiten finden Sie vorab unter https://fmidue.github.io/ba-ma-template.

Forschungskolloquium

Gemeinsam mit dem Lehrstuhl Theoretische Informatik veranstalten wir ein Kolloquium.

Datum Vortragende Person Thema
07.02.2023 14:30 Lars Stoltenow tba
31.01.2023 14:30 Florian Wittbold tba
24.01.2023 14:30 Marcellus Siegburg Kompetenzorientiert Prüfen: Modellierung
17.01.2023 14:30 Frédéric de Longueville Einführung in die Theorie partieller Differentialgleichungen - Teil 2
10.01.2023 14:30 Oliver Westphal Containers, Effects & Traversals - Categorical Concepts in Everyday Haskell
20.12.2022 14:30 Sebastian Gurke tba
13.12.2022 16:00 Rebecca Bernemann Detecting Social Bots on Twitter
06.12.2022 14:30 Richard Eggert A Lattice-Theoretical View of Strategy Iteration