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
  - Partnereinrichtungen
  - Forschungskooperationen
  - Angebote für Unternehmen
    Angebote für Unternehmen
    Angebote für Unternehmen
    Sponsoring Finale Bundeswettbewerb Informatik
    TechTalk
    Weitere Angebote am KIT
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
    Girls' Day
    Schnuppervorlesungen
    Schülerstudium
    Studieninformationstag
    Studieninformationstag
    Studieninformationstag
    Studieninformationstag 2023
    Zentrale Studienberatung
- Studienangebot
  - Studienangebot
  Studienangebot
  - Informatik
    Informatik
    Informatik
    Informatik B. Sc.
    Informatics M.Sc.
    Informatics M.Sc.
    Informatics 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
  - 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
  - Informationswirtschaft
    Informationswirtschaft
    Informationswirtschaft
    Informationswirtschaft B.Sc.
    Informationswirtschaft M.Sc.
  - Schülerstudium
  - Doppelmaster Informatik
- Beratung & Information
  - Beratung & Information
  Beratung & Information
  - Beratung
  - Bewerbung
  - Leben und Studieren in Karlsruhe
  - 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
  - Anerkennung von Prüfungsleistungen
  - Abschluss am KIT
  - Doppelmaster Informatik
  - Erasmus+ & SEMP
    Erasmus+ & SEMP
    Erasmus+ & SEMP
    Incoming
    Outgoing
  - Weitere Austauschprogramme
    Weitere Austauschprogramme
    Weitere Austauschprogramme
    Incoming
    Outgoing
  - Praktikum im Ausland
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: 31.07.2020
Zeit: 12:00

Links

Klausurdetails

Veranstaltungen

Montag, 22. Apr 2024
Antrittsvorlesungen T.-T.-Prof. Dr. Peer Nowack und T.-T.-Prof. Dr. Benjamin Schäfer

Dienstag, 23. Apr 2024
Informatikerinnen-Mittagessen Info2: Ich gehe ins Ausland!

Donnerstag, 25. Apr 2024
International Student Round Table: Kick off the Semester Kennenlernstammtisch

Weitere Veranstaltungen...

Rund ums Studium

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

Facebook Profil
Instagram Profil
X Kanal (Twitter)
Youtube Profil

KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft

Home
Sitemap
Kontakt
Impressum
Datenschutz
Barrierefreiheit
KIT