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

en

suchen

Aktuelles
- Aktuelles
Aktuelles
- Veranstaltungen
  - Veranstaltungen
  Veranstaltungen
  - Veranstaltungskalender
  - Tag der Informatik
    Tag der Informatik
    Tag der Informatik
    Preise & Erfolge
  - TechTalk
- Newsarchiv
Die Fakultät
- Die Fakultät
Die Fakultät
- 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
- 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
  - Informatik
    Informatik
    Informatik
    Informatik B. Sc.
    Informatik M.Sc.
    Informatik M.Sc.
    Informatik M.Sc.
    Masterprofile
    Masterprofile
    Masterprofile
    Daten-intensives Rechnen
    Energieinformatik
    Internet und Gesellschaft
    IT-Sicherheit
    Künstliche Intelligenz
    Multi-Scale Computing Systems
    Robotik
    Software Engineering
    Visual Computing
    Computer Science M.Sc. (International)
  - Wirtschaftsinformatik
    Wirtschaftsinformatik
    Wirtschaftsinformatik
    Wirtschaftsinformatik B.Sc.
    Wirtschaftsinformatik M.Sc.
  - Informatik Lehramt
    Informatik Lehramt
    Informatik Lehramt
    Informatik Lehramt B.Ed.
    Informatik Lehramt M.Ed.
    Lehramt Erweiterungsfach
  - Schülerstudium
  - Doppelmaster Informatik
- 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
  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: 28.02.2025
Zeit: 08:00

Links

Klausurdetails

Veranstaltungen

Freitag, 10. Jan 2025
Informatikerinnen-Mittagessen

Montag, 10. Feb 2025
Informatikerinnen-Mittagessen Semesterkolloquium WS 24/25

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