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-Mail
       abmelden (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

Altklausuren


Skriptum

skriptum.pdf


Materialien

Alle Materialien sind im Ilias-Kurs verfügbar.




Link zur Webseite des vorigen Jahres