Formale Systeme — Wintersemester 2021/22
Prof. Dr. Bernhard Beckert
Dr. Alexander Weigl, Dr. Mattias Ulbrich,
Wolfram Pfeifer, Florian Lanzinger
Für die Hauptklausur im Wintersemester 2021/22 am 28.02.2022:
Liebe Studierende, die Planung für Formale Systeme Klausur im WS 21/22 steht: ================================================================================ KLAUSUR-REGELUNGEN ================================================================================ 1. Sie sind nach dem Anfangsbuchstaben Ihres Nachnamens den Hörsälen folgendermaßen zugeordnet: A - R: Audimax (30.95) S - Z: MTI (30.33) 2. Die Klausur beginnt um 08:30 Uhr. 3. Der Einlass erfolgt gestaffelt nach Nachnamen individuell für jeden Hörsaal: A - R: Audimax * L - R :: 08:00 Uhr * G - K :: 08:10 Uhr * A - F :: 08:20 Uhr S - Z: MTI * S - S :: 08:00 Uhr * T - W :: 08:10 Uhr * Y - Z :: 08:20 Uhr Bitte versuchen Sie Ihren Zeitslot einzuhalten. Damit ermöglichen Sie uns einen reibungslosen Ablauf und einen pünktlichen Start der Klausur. Halten Sie bitte bereits beim Einlass Ihren Studierendenausweis und amtlichen Lichtbildausweis bereit. Der 3G-Status wird im Hörsaal am KonKIT-Gerät überprüft. 4. Abmeldungen von der Klausur bitte *über CAS* soweit wie möglich durchführen. Sollte dies nicht mehr funktionierten, können Sie sich bis Montag 08:29 Uhr per E-Mail abmelden (nur über Ihre KIT-E-Mail-Adresse): simone.meinhart@kit.edu Die Nicht-Teilnahme ohne Abmeldung wird weiterhin mit 5,0 bewertet. ================================================================================ ALLGEMEINE HINWEISE Corona ================================================================================ * Bitte beachten Sie die ständige FFP2-Maskenpflicht vor, während und nach der Klausur. * Die Klausur findet unter 3G-Regelung statt: * Bitte laden Sie soweit wie möglich Ihren Impfstatus auf die Studierendenkarte. Wie setzen wie bei Vorlesungen auf KonKIT. * Bittte beachten Sie Gültigkeitsfristen bei Tests (Antigen: 24h, PCR: 48h). Die Gültigkeit muss sich über die gesamten Klausurzeit erstrecken. * Beachten Sie das Absonderungsgebot bei Corona(-ähnlichen) Symptomen. Gutes Gelingen! Bleiben Sie gesund! Grüße Alexander Weigl
Für die Hauptklausur im Wintersemester 2021/22 am 28.02.2022:
Liebe Studierende, wir starten mit der Feinplanung für die Klausur. Ingesamt haben sich 159 Personen angemeldet. Wir werden die Klausur im 30.95 Audimax und 30.33 MTI schreiben. Entgegen der ursprünglichen Ankündigung haben wir die Zeiten um eine halbe Stunde nach hinten verschoben. Damit ist der Einlaß um 08:00 Uhr und Beginn des Schreibens um 08:30 Uhr. Die Sitzplatzaufteilung wird gegen Ende dieser Woche veröffentlich. ## Hinweise * Die Anmeldefrist ist abgelaufen. Sollten Sie diese verpasst haben, melden Sie sich. Eine Anmeldung vorort bei der Klausur ist nicht mehr möglich. * Abmeldungen bitte *über CAS* soweit wie möglich. Sollte dies nicht mehr funktionierten können Sie sich bis Montag 08:30 Uhr per E-Mailabmelden (nur über Ihre KIT-E-Mail-Adresse). Nicht-Teilnahme ohne Abmeldung wird weiterhin mit 5,0 bewertet. * Bitte beachten Sie die ständige FFP2-Maskenpflicht vor, während und nach der Klausur. * Es herrscht 3G-Regelung. Grüße Alexander Weigl
Typ: | Vorlesung |
---|---|
Zielgruppe: | Bachelor Informatik, Master Informatik |
Umfang: | 4 SWS / 6 Leistungspunkte |
Ort: | Gaede-Horsaal |
Zeit: | Donnerstag, 14:00 - 15:30 Uhr Freitag, 12:00 - 13:30 Uhr |
Veranstaltungs-Nr.: | 24086 |
ILIAS-Kurs: | Link |
Aktuelles
- 16.08.2020: Webseite angelegt. Beachten Sie: Diese Vorlesung wird voraussichtlich in Präsenz stattfinden.
Altklausuren
Skriptum
Materialien
Alle Materialien sind im Ilias-Kurs verfügbar.
Link zur Webseite des vorigen Jahres