News
Three articles by group Logic and Computing accepted at MFCS 2023
At the conference MFCS 2023 two papers from the Logic and Computing group and one paper from an undergraduate student were accepted.
![news-icon conference news-icon conference](/storages/zentraler_bilderpool/_processed_/b/4/csm_news-tagung-konferenz_7c9881c218.jpg)
New DFG-funded project „Plausible Reasoning and Revision in AI Along Two Dimensions: Syntax Splitting and Kinematics Principles“
The DFG funds the project "Plausible Reasoning and Revision in AI Along Two Dimensions: Syntax Splitting and Kinematics Principles" for three years...
![DFG](/storages/logic-in-cs/_processed_/5/7/csm_dfg_logo_schriftzug_blau_foerderung_4c_c5d84b8501.jpg)
One Article by group Knowledge-Based Systems accepted at IJCAI 2023
The article "SAT-Based PAC learning of Description Logic Concepts" by Balder ten Cate (University of Amsterdam), Maurice Funk (Leipzig University),…
![news-icon conference news-icon conference](/storages/zentraler_bilderpool/_processed_/b/4/csm_news-tagung-konferenz_7c9881c218.jpg)
New DFG-funded project „Foundations of work-efficient constant-time parallel dynamic and static algorithms“
The DFG funds the project "Foundations of work-efficient constant-time parallel dynamic and static algorithms" for three years. The project of the…
![DFG](/storages/logic-in-cs/_processed_/5/7/csm_dfg_logo_schriftzug_blau_foerderung_4c_ca27cc4d3b.jpg)
37th Campus Run of the TU Dortmund University on May 24, 2023
Several members of our chair participated in this year's campus run of TU Dortmund University...
![Campuslauf 2023 Campuslauf 2023](/storages/logic-in-cs/_processed_/f/4/csm_campuslauf_2023_ba2af4c757.jpg)
Courses in the summer semester 2023
The courses for the summer semester 2023 are now online.
![Audimax Students sitting in a lecture in the audimax.](/storages/zentraler_bilderpool/_processed_/f/5/csm_Audimax_Vorlesung-2_006092fe4c.jpg)
SchwentickFest
On the occasion of Prof. Thomas Schwentick's 60th birthday, the "SchwentickFest", a workshop organized by some of Prof. Schwentick's cooperation…
![SchwentickFest SchwentickFest](/storages/logic-in-cs/_processed_/a/7/csm_2022.Prof._Schwentick._DSC0350_ac7c0e2950.jpeg)
The chair 1 - Logic in Computer Science is pleased to welcome a new member
Since November 1, 2022, Prof. Jean Christoph Jung has been a new member of the chair.
![[Translate to English:] [Translate to English:]](/storages/logic-in-cs/_processed_/a/e/csm_thumb-FotoQuer_979d749aa1.jpg)
New DFG-funded project "CASPER – Conditionals and ASP for Expert Reasoning"
The DFG funds the project "A Hybrid Knowledge-Based System Using Conditionals and ASP With Interactive Modelling Environment and Application to…
![DFG](/storages/logic-in-cs/_processed_/5/7/csm_dfg_logo_schriftzug_blau_foerderung_4c_0347e28263.jpg)