KIT – Fakultät für Informatik – Studium - Studienorganisation - Klausurtermine - Formale Systeme

KIT-Fakultät für Informatik

Navigation überspringen
Home
Sitemap
Kontakt
Impressum
Datenschutz
Barrierefreiheit
KIT

suchen

Die Fakultät
- Die Fakultät
Die Fakultät
- Veranstaltungen
  - Veranstaltungen
  Veranstaltungen
  - Veranstaltungskalender
  - Tag der Informatik
- Profil
  - Profil
  Profil
  - Entwicklung und Meilensteine
    Entwicklung und Meilensteine
    Entwicklung und Meilensteine
    Erste deutsche Internet E-Mail
    50 Jahre Informatik
  - Fakultätsportrait
  - Rankings
  - Preise & Erfolge
  - Newsarchiv
- Einrichtungen und Ansprechpersonen
  - Einrichtungen und Ansprechpersonen
  Einrichtungen und Ansprechpersonen
- Partner und Kooperationen
  - Partner und Kooperationen
  Partner und Kooperationen
Studium
- Studium
Studium
- Angebote für Schülerinnen und Schüler
  - Angebote für Schülerinnen und Schüler
  Angebote für Schülerinnen und Schüler
  - BOGY-Praktika
    BOGY-Praktika
    BOGY-Praktika
    informatikBOGY
    Robotik-BOGY am H2T
  - Lehr-Lern-Labor Informatik
  - Science Camps
    Science Camps
    Science Camps
    Science Camp Digital
    Science Camp Informatik
    Science Camp KI
    Science Camp MakeIT
    Science Camp Softwareentwicklung
    Science Camp Robotik
  - Studieninformation
    Studieninformation
    Studieninformation
    Campustag
    Campustag
    Campustag
    Programm 2024
    Girls' Day
    Schnuppervorlesungen
    Schülerstudium
    Studieninformationstag
    Studieninformationstag
    Studieninformationstag
    Programm der KIT-Fakultät für Informatik
    Zentrale Studienberatung
- Studienangebot
  - Studienangebot
  Studienangebot
  - Bachelorstudiengänge
    Bachelorstudiengänge
    Bachelorstudiengänge
    Informatik B.Sc.
    Wirtschaftsinformatik B.Sc.
    Informatik Lehramt B.Ed.
  - Masterstudiengänge
    Masterstudiengänge
    Masterstudiengänge
    Informatik M.Sc.
    Informatik M.Sc.
    Informatik M.Sc.
    Zulassung Master Informatik
    Wirtschaftsinformatik M.Sc.
    Computer Science M.Sc. (INT)
    Computer Science M.Sc. (INT)
    Computer Science M.Sc. (INT)
    Admission Master Computer Science
    Informatik Lehramt M.Ed.
    Lehramt Erweiterungsfach
    Doppelmaster Informatik
    Master mit Profil
    Master mit Profil
    Master mit Profil
    Daten-intensives Rechnen
    Energieinformatik
    Internet und Gesellschaft
    IT-Sicherheit
    Künstliche Intelligenz
    Multi-Scale Computing Systems
    Robotik
    Software Engineering
    Visual Computing
  - Schülerstudium
- Beratung & Information
  - Beratung & Information
  Beratung & Information
  - Beratung
  - Bewerbung
  - Leben und Studieren in Karlsruhe
    Leben und Studieren in Karlsruhe
    Leben und Studieren in Karlsruhe
    KIIS-Stipendium
  - WIT // Women in IT
    WIT // Women in IT
    WIT // Women in IT
    Informatikerinnen-Mittagessen
- Studienorganisation
  - Studienorganisation
  Studienorganisation
  - FAQs Studium und Prüfungen
  - Klausurtermine
  - Formulare / Dokumente
  - Informatik Studiengangservice (ISS)
    Informatik Studiengangservice (ISS)
    Informatik Studiengangservice (ISS)
    Leistungen des ISS
    Ansprechpersonen
    Service für Lehrende
  - Unterstützung im Studium
    Unterstützung im Studium
    Unterstützung im Studium
    Informationsveranstaltungen
    Einstieg ins Studium
    Studienplanung
    Studienplanung
    Studienplanung
    Tutorieneinteilung
    Mentoring
    Info²
- Internationales
  - Internationales
  Internationales
  - Abschluss am KIT
  - Doppelmaster Informatik
  - Erasmus+ & SEMP
    Erasmus+ & SEMP
    Erasmus+ & SEMP
    Incoming
    Outgoing
  - Weitere Austauschprogramme
    Weitere Austauschprogramme
    Weitere Austauschprogramme
    Incoming
    Outgoing
  - Praktikum im Ausland
  - Anerkennung von Prüfungsleistungen
Wissenschaftliche Qualifikation
- Wissenschaftliche Qualifikation
Wissenschaftliche Qualifikation
Forschung
- Forschung
Forschung
- Forschungsgruppen
- Strategische Schwerpunkte
Karriere
- Karriere
Karriere
Startseite

Home
Sitemap
Kontakt
Impressum
Datenschutz
Barrierefreiheit
suchen
Campusplan

KIT-Fakultät für Informatik

Startseite
Studium
Studienorganisation
Klausurtermine

Startseite
Studium
Studienorganisation
Klausurtermine

Formale Systeme

Typ:
Datum: 02.09.2025
Zeit: 11:00

Links

Klausurdetails

Veranstaltungen

Dienstag, 29. Apr 2025
Mentoring Get-Together

Dienstag, 03. Jun 2025
Mentoring Get-Together

Weitere Veranstaltungen...

Rund ums Studium

Modulhandbücher
Mein Studiengang
FAQ-Wiki
Klausurtermine
Informatik Studiengangservice (ISS)

Profil Mastodon
Instagram Profil
Youtube Profil
LinkedIn Profil

Bildnachweis Titelbild: KIT

KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft

Home
Sitemap
Kontakt
Impressum
Datenschutz
Barrierefreiheit
KIT