Zum Inhalt
Fakultät für Informatik

Aktuelles

05.06.2023

Neues DFG-Projekt „Plausibles Schlussfolgern und plausible Wissensrevision in der KI entlang zweier Dimensionen: Syntax Splitting und Kinematik“

Die DFG fördert das Projekt "Plausibles Schlussfolgern und plausible Wissensrevision in der KI entlang zweier Dimensionen: Syntax Splitting und…

30.05.2023

Eine Arbeit der AG Knowledge-Based Systems wurde bei der IJCAI 2023 angenommen.

Die Arbeit "SAT-Based PAC learning of Description Logic Concepts" von Maurice Funk (Universität Leipzig), Jean Christoph Jung (TU Dortmund) und…

news-icon conference
26.05.2023

Neues DFG-Projekt „Foundations of work-efficient constant-time parallel dynamic and static algorithms“

Die DFG fördert das Projekt "Foundations of work-efficient constant-time parallel dynamic and static algorithms" für drei Jahre. In dem Projekt der…

25.05.2023

37. Campuslauf der TU Dortmund am 24. Mai 2023

Auch beim diesjährigen Campuslauf der TU Dortmund gingen wieder mehrere wiss. Mitarbeitende und Professoren unseres Lehrstuhls an den Start...

Campuslauf 2023
03.02.2023

Lehrveranstaltungen im Sommersemester 2023

Die Lehrveranstaltungen für das Sommersemester 2023 sind ab jetzt online.

 

Studierende sitzen in einer Vorlesung im Audimax.
02.02.2023

SchwentickFest

Anlässlich des 60. Geburtstages von Prof. Thomas Schwentick findet am Rande der in Warschau stattfindenden Konferenz Computer Science Logic (CSL 2023)…

SchwentickFest
03.11.2022

Der Lehrstuhl Informatik 1 freut sich über Verstärkung

Seit dem 1.11.2022 ist Prof. Jean Christoph Jung neues Mitglied des Lehrstuhls.

01.10.2022

Neues DFG-Projekt "CASPER – Conditionals and ASP for Expert Reasoning"

Die DFG fördert das Projekt "Ein hybrides wissensbasiertes System auf der Basis von Konditionalen und ASP mit interaktiver Modellierungsumgebung und…