Formale Systeme — Wintersemester 2021/22

Prof. Dr. Bernhard Beckert
Dr. Alexander Weigl, Dr. Mattias Ulbrich, Wolfram Pfeifer Florian Lanzinger

Liebe Studierende,

die Planung für Formale Systeme Klausur im WS 21/22 steht:

================================================================================
                               KLAUSUR REGELUNGEN
================================================================================

1. Sie sind nach Ihrem Anfangsbuchstaben Ihrer Nachnamen den Hörsäalen
   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 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 Studentenausweis 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 den KIT-Mail-Addresse): simone.meinhart@kit.edu

   Die Nicht-Teilnahme ohne Abmeldung wird weiterhin mit 5,0 bewertet.


================================================================================
                              ALLGEMEINE HINWEISE
                                     Corona
================================================================================

* Bitte beachten Sie 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 den gesamten Klausurzeit
    erstrecken.

* Beachten Sie das Absonderungsgebot bei Corona(-ähnlichen) Symptomen.

Gutes gelingen! Bleibt gesund!

Grüße,

Alexander Weigl


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 Sitzplanaufteilung wird gegen Ende dieser Woche veröffentlich.

## Hinweise

* Die Anmeldefrist ist abgelaufen. Sollten Sie diese verpasst 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-Mail
   abmelden (nur über den KIT-Mail-Addresse).

  Nicht-Teilnahme ohne Abmeldung werden weiterhin mit 5,0 bewertet.

* Bitte beachten Sie 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: Präsenz: 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 in vorrausichtlich in Präsenz stattfinden.

Altklausuren

Altklausuren


Materialien

Alle Materialien sind im Ilias-Kurs verfügbar.




Link zur Webseite des vorigen Jahres