Aktuelles
Tutorial zum Lernen von Beschreibungslogik-Konzepten auf der KR 2023
Jean Christoph Jung wird gemeinsam mit Kollegen von den Universitäten Paderborn, Leipzig und Liverpool ein Tutorial zum Lernen von Konzepten auf der…
![news-icon conference news-icon conference](/storages/zentraler_bilderpool/_processed_/b/4/csm_news-tagung-konferenz_7c9881c218.jpg)
Drei Arbeiten aus dem Bereich Logik in der Informatik bei der MFCS 2023 akzeptiert
Bei der Konferenz MFCS 2023 wurden zwei Arbeiten aus der Arbeitsgruppe Logic and Computing sowie eine Arbeit eines Bachelor-Studierenden akzeptiert.
![news-icon conference news-icon conference](/storages/zentraler_bilderpool/_processed_/b/4/csm_news-tagung-konferenz_7c9881c218.jpg)
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…
![DFG](/storages/logic-in-cs/_processed_/5/7/csm_dfg_logo_schriftzug_blau_foerderung_4c_726289fec4.jpg)
Eine Arbeit der AG Knowledge-Based Systems wurde bei der IJCAI 2023 angenommen.
Die Arbeit "SAT-Based PAC learning of Description Logic Concepts" von Balder ten Cate (Universität von Amsterdam), Maurice Funk (Universität Leipzig),…
![news-icon conference news-icon conference](/storages/zentraler_bilderpool/_processed_/b/4/csm_news-tagung-konferenz_7c9881c218.jpg)
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…
![DFG](/storages/logic-in-cs/_processed_/5/7/csm_dfg_logo_schriftzug_blau_foerderung_4c_f8ff04e8a2.jpg)
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 Campuslauf 2023](/storages/logic-in-cs/_processed_/f/4/csm_campuslauf_2023_ba2af4c757.jpg)
Lehrveranstaltungen im Sommersemester 2023
Die Lehrveranstaltungen für das Sommersemester 2023 sind ab jetzt online.
![Audimax Studierende sitzen in einer Vorlesung im Audimax.](/storages/zentraler_bilderpool/_processed_/f/5/csm_Audimax_Vorlesung-2_006092fe4c.jpg)
SchwentickFest
Anlässlich des 60. Geburtstages von Prof. Thomas Schwentick findet am Rande der in Warschau stattfindenden Konferenz Computer Science Logic (CSL 2023)…
![SchwentickFest SchwentickFest](/storages/logic-in-cs/_processed_/a/7/csm_2022.Prof._Schwentick._DSC0350_ac7c0e2950.jpeg)
Der Lehrstuhl Informatik 1 freut sich über Verstärkung
Seit dem 1.11.2022 ist Prof. Jean Christoph Jung neues Mitglied des Lehrstuhls.
![Jean Christoph Jung Porträt Jean Christoph Jung](/storages/logic-in-cs/_processed_/a/e/csm_thumb-FotoQuer_71d59a6dfc.jpg)