ISRT: " Pre-Arrival Online-Orientation " for Wintersemester 26/27 16.07.26

talkaboutIT: Vom Doppelmaster Informatik in die IT-Sicherheit. Interview mit Annika Sauer.

Info² - “How To Thesis”

Info² - “How 2 CV and How to Find a Job in Germany” Video Info for YouTube

ISRT: Kicking Your studies off

International Student Roundtable: " Pre-Arrival Online-Orientation " for summer semester 2026

eezi: Orientierungsprüfungsvorbereitung WS25/26

Jahresrückblick 2025

International Student Round Table: Fit for Exams and returning home WS25/2026

Info²: Erasmus+ & SEMP WS25/26

eezi: Strategien für Übungsblätter der O-Prüfungen + Programmieren Best Practices WS 25/26

International Student Round Table: "In the thick of it" - Winter semester 25/26

eezi: Ankommen im ersten Fachsemester: Faustregeln, Zeitmanagement, Ressourcen (Vorlesung 28.10.25)

Women in IT: Professorin Ina Schaefer

Info²: Programmieren Best Practices Sommersemester 2025

Info²: How to Thesis (Deutsch Sommersemester 2025)

Info²: Ich gehe ins Ausland

TalkaboutIT: Was kann der Kopfhörer der Zukunft? - Interview mit Dr. Tobias Röddiger

Jahresrückblick ‘24

TalkaboutIT: Interview mit Dr. Dominik Schreiber

Antrittsvorlesungen Nowack Schaefer 042024

Jahresrückblick 2023 – KIT-Fakultät für Informatik

"Erst KIT und dann?"

Full inaugural lectures / Antrittsvorlesungen Jun-Prof. Maike Schwammberger and Prof. André Platzer

Inaugural Lecture / Antrittsvorlesung Jun.-Prof. Maike Schwammberger

Inaugural Lecture / Antrittsvorlesung Prof. André Platzer

Short Inaugural Lecture / Antrittsvorlesung: Jun.-Prof. Maike Schwammberger and Prof. André Platzer

Info² Programmieren Best Practices

Info²: Ich gehe ins Ausland! (Wintersemester 2023/2024)

Info²: Ich gehe ins Ausland! (Sommersemester 2023)

Antrittsvorlesung Prof. Dr. Ina Schaefer

Verabschiedung Prof. Dr. Walter Tichy

WWW: Wissenswertes über Walter – Prof. Lutz Prechelt

Eine Einführung zum Informatikstudium am KIT - 3. Vorlesung WS 22/23

Erfolgreiches Jahr 2022: Der KIT Informatik-Jahresrückblick

Eine Einführung zum Informatikstudium am KIT – 2. Vorlesung WS 22/23

Eine Einführung zum Informatikstudium am KIT – 1. Vorlesung WS 22/23

Was kommt nach dem Informatikstudium? – Alumna Meng Meng stellt sich vor.

Was kommt nach dem inforamtikstudium? – Alumnus Markus stellt sich vor.

Programmieren Best Practices & Lernpartnerschaftsbörse – 15.11.2022

eezi goIN' Info-Bites: Ich gehe ins Ausland! (02.11.2022)

CMS -English (Campus Management for students)

CMS (Campus Management für Studierende)

Ergänzungsfach im Informatik Bachelor Studium

Bachelor Module im Studiengang Informatik am KIT

Überfachliche Qualifikation im Bachelor Studium

Formale Systeme 2 Theorie: Separation Logic - Verifast (4 von 4)

Formale Systeme 2 Theorie: Separation Logic - Einführung (1 von 4)

Formale Systeme 2 Theorie: Separation Logic - Beweis der Framing Rule (3 von 4)

Formale Systeme 2 Theorie: Separation Logic - Programme und Kalkül (2 von 4)

Formale Systeme 2 Theorie: Beschreibungslogiken

eezi goIN` Info-Bites: Balancing Act - Du bist in der Lage es zu schaffen.

KIT-Promotionspreis für Dr. Alina Roitberg

Formale Systeme 2 Theorie: Logik in der Sozialwahltheorie: Ressource Allocation und Matching

Formale Systeme 2 Theorie: Logik in der Sozialwahltheorie:Unmöglichkeitstheoreme

Formale Systeme 2 Theorie: Logik in der Sozialwahltheorie:Charakterisierungstheoreme

Formale Systeme 2 Theorie: Logik in der Sozialwahltheorie: Wahlverfahren, Teil B

Formale Systeme 2 Theorie: Logik in der Sozialwahltheorie: Einführung und Motivation

Formale Systeme 2 Theorie: Logik in der Sozialwahltheorie: Wahlverfahren, Teil A

Formale Systeme 2 Theorie: Mehrwertige Logik: Anwendungen und Tableaukalkül