Search - LOGIC-IN - TU Dortmund

Search
Personsearch

Filter search results

Results per page:

14 results

1. LOGIC-IN
Imprint

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 State of North Rhine-Westphalia [...] 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 Rhine-Westphalia [...] MStV): Prof. Dr. Thomas Schwentick Lehrstuhl 1 - Logik in der Informatik Technische Universität Dortmund Otto-Hahn-Str. 12 44227 Dortmund Germany admin@ls1.cs.tu-dortmund.de Konzeption, Gestaltung, Umsetzung …
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 semester 2025 is now online. 01/08/2025 TU Dortmund University Teaching Prize awarded to Thomas [...] 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 group [...] on Answer Set Programming – May 28, 2024 On May 28, 2024, the Information Engineering Group of Chair 1 will host a workshop on Answer Set Programming (ASP). 05/17/2024 One Article by group Knowledge-Based …
1. LOGIC-IN
2. News: 11/3/2022
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. Prof. Jung received his PhD from the University of Bremen in 2014 and was employed there as a research assistant 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
Privacy

processing of the data is Art. 6 (1) (a) GDPR if the user has given his consent. The legal basis for the processing of data transmitted in the course of sending an e-mail is Art. 6 (1) (e) GDPR. 3. Duration of [...] the conclusion or fulfillment of a contract. III. Provision of the Website and Creation of Log Files 1. Description and scope of data processing Each time our website is accessed, our system automatically [...] for 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 …
1. LOGIC-IN
2. Professors
Prof. Dr. Gabriele Kern-Isberner

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

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 group [...] on Answer Set Programming – May 28, 2024 On May 28, 2024, the Information Engineering Group of Chair 1 will host a workshop on Answer Set Programming (ASP). 05/17/2024 One Article by group Knowledge-Based …
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 …
1. LOGIC-IN
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 …
1. LOGIC-IN
LS1 Informatik Team

Secretariat System Administration Retired Former employees The following list contains alumni of LS 1 since 2007. The list is incomplete. If you would like to be mentioned in this list, please give us a …
1. LOGIC-IN
Accessibility Statement

from the directive. Contact: Lehrstuhl Informatik 1 Email: E-Mail senden Tel.: +49-231-755-4806 Feedback: If you would like to contact Lehrstuhl Informatik 1 , please use our feedback form . Please indicate …