Allgemeine Informationen
| Veranstaltungsname | Vorlesung: Conformance Checking |
| Veranstaltungsnummer | INF-3011 |
| Semester | WS 2026/27 |
| Aktuelle Anzahl der Teilnehmenden | 12 |
| erwartete Teilnehmendenzahl | 20 |
| Heimateinrichtung | Lehrprofessur für Informatik |
| Veranstaltungstyp | Vorlesung in der Kategorie Lehre |
| Nächster Termin | Montag, 12.10.26, 10:00 - 11:30 Uhr 1054N |
| Teilnehmende |
Bei dieser Veranstaltung handelt es sich um eine Wahlpflicht-Veranstaltung im Bereich - "Theoretische Informatik" für den Master "Informatik" - "Informatik" für den Master "Wirtschaftsinformatik |
| Voraussetzungen |
Es werden keine anderen Master-Veranstaltungen vorausgesetzt, ein vorheriger Besuch der Veranstaltung "Process Mining" im Sommersemester kann aber von Vorteil sein. Wichtige Grundlagen aus dem Bachelor: - Diskrete Strukturen und Logik (empfohlen) - Einführung in die theoretische Informatik (Automaten und formale Sprachen; empfohlen) - Informatik 3 (Graphalgorithmen und NP-Vollständigkeit; empfohlen) |
| Lernorganisation |
Insgesamt gliedert sich die Vorlesung in 6 Abschnitte zu je 2-3 Wochen. Jeder Abschnitt besteht aus 3-4 Vorlesungen und einer Übung (alle jeweils 2-stündig). Pro Abschnitt wird 1 Übungsblatt ausgegeben, das in der Übung besprochen wird. Die Übungsblätter werden nicht abgegeben und nicht korrigiert. Es steht vorab ein komplettes Skript zur Vorlesung zur Verfügung. Fragen können in den Vorlesungen, Übungen und im Digicampus-Forum gestellt werden. |
| Leistungsnachweis |
Klausur (90 Minuten) - Termin: wird noch bekanntgegeben - Ort: wird noch bekanntgegeben Prüfungsanmeldung : Man muss sich in STUDIS (Prüfungsverwaltungssystem des Prüfungsamts) zur Prüfung anmelden. Eine STUDIS-Anmeldung führt zur Bewertung auch bei Nicht-Teilnahme (als "nicht bestanden"). Außerdem muss mit dem Lehrstuhl ein Termin für die mündliche Prüfung ausgemacht werden. Wer sich um keinen Termin bemüht, kann auch nicht geprüft werden. Es wird keine Wiederholungsprüfung angeboten. |
| Veranstaltung findet in Präsenz statt / hat Präsenz-Bestandteile | Ja |
| Hauptunterrichtssprache | deutsch |
| Weitere Unterrichtssprache(n) | Englisch |
| Literaturhinweise |
Josep Carmona, Boudewijn van Dongen, Andreas Solti and Matthias Weidlich: Conformance Checking - Relating Processes and Models, Springer 2018, ISBN 978-3-319-99413-0 Anja F. Syring, Niek Tax, Wil M. P. van der Aalst: Evaluating Conformance Measures in Process Mining using Conformance Propositions (Extended version), https://arxiv.org/abs/1909.02393 |
| ECTS-Punkte | 6 |