Search - LOGIC-IN - TU Dortmund

Search
Personsearch

Filter search results

Results per page:

25 results

1. LOGIC-IN
Imprint

Dortmund Germany Tel: +49 231 7551 Send e-mail TU Dortmund University, in accordance with section 2 (1) sentence 1 in conjunction with section 1 (2) sentence 1 no. 5 of the Higher Education Act of the [...] , Prof. Dr. Manfred Bayer. TU Dortmund University carries out its tasks pursuant to section 76 (1) sentence 1 HG NRW under the legal supervision of the Ministry of Culture and Science of North [...] admin@ls1.cs.tu-dortmund.de Konzeption, Gestaltung, Umsetzung und Support: mehrwert intermediale kommunikation …
1. LOGIC-IN
2. News: 11/3/2022
The chair 1 - Logic in Computer Science is pleased to welcome a new member

0 Since November 1, 2022, Prof. Jean Christoph Jung has been a new member of the chair. Prof. Jung received his PhD from [...] intelligence, in logic in computer science, and on the combination of logic and learning. At Chair 1 - Logic in Computer Science, Prof. Jung will lead the research group "Knowledge-Based Systems“ . …
1. LOGIC-IN
2. News & Contact
News

News 1 2 3 4 Next 01/31/2025 Courses for the summer semester 2025 The overview of the courses for the summer [...] and Beth Definability, Nov 27-28th On November 27-28th, the Knowledge-Based Systems Group of Chair 1 will host the 2nd workshop on Craig Interpolation and Beth Definability. 11/05/2024 One Article by [...] " by Radomir Stanković, Milena Radomir Stanković, Claudio Moraga and Jakko Astola was published by… 1 2 3 4 Next …
1. LOGIC-IN
2. Personen
3. Scientific Staff
M. Sc. Jennifer Todtenhoefer

LS1 - Logik in der Informatik M. Sc. Jennifer Todtenhoefer List of Publications …
1. LOGIC-IN
2. Personen
3. Professors
Prof. Dr. Gabriele Kern-Isberner

LS1 - Logic in computer science Prof. Dr. Gabriele Kern-Isberner Activities Publications …
1. LOGIC-IN
Privacy

the duration of the session. (Necessity for the fulfillment of the task of the university Art. 6 (1) (e) GDPR) Storage in log files is done to ensure the functionality of the website. In addition, the [...] in the course of sending an e-mail is Art. 6 (1) (e) GDPR. 3. Duration of storage The data will be deleted as soon as they are no longer required to [...] Dortmund University The President August-Schmidt-Str. 4 44227 Dortmund Germany Phone: +49 (0)231/755-1 …
1. LOGIC-IN
2. News: 1/16/2024
Stellenangebot für eine studentische Hilfskraft (SHK)

0 Die Arbeitsgruppe Information Engineering (Prof. Dr. G. Kern-Isberner) des Lehrstuhls Informatik 1 sucht eine studentische Hilfskraft (SHK, Stundenumfang nach Absprache) zur Unterstützung in einem …
1. LOGIC-IN
2. News: 10/29/2025
Successful DFG application: Jean Christoph Jung receives funding for innovative project on ontology and query research

0 Prof. Jean Christoph Jung from Chair 1 has been awarded an important grant from the German Research Foundation (DFG) for the project "Learning [...] so that they meet users' expectations - based on positive and negative examples from them. Chair 1 is currently advertising a doctoral position for the project. Interested doctoral students can apply …
1. LOGIC-IN
2. News: 6/10/2026
Daniel Spenner erhält den Hans-Uhde-Preis 2026

Der Lehrstuhl 1 freut sich, dass Daniel Alexander Spenner mit dem Hans-Uhde-Preis 2026 geehrt wurde. Damit wurde …
1. LOGIC-IN
2. News & Contact
Contact

hours Monday to Thursday 10:00h to 11:30h 13:00h to 14:30h Postal address Chair of Computer Science 1 - Logic in Computer Science Technische Universität Dortmund 44227 Dortmund Germany …