Search - SEAL - TU Dortmund

Search
Personsearch

Filter search results

Results per page:

5 results

1. SEAL
2. Meta
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 …
1. SEAL
2. Meta
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. SEAL
2. Service
Directions

Dortmund) crosses the Ruhrschnellweg B 1 / A 40. The best interstate exit to take from A 45 is “Dortmund-Eichlinghofen” (closer to South Campus), and from B 1 / A 40 “Dortmund-Dorstfeld” (closer to [...] for the university are located at both exits. Also, there is a new exit before you pass over the B 1-bridge leading into Dortmund. To get from North Campus to South Campus by car, there is the connection [...] Hauptbahnhof”) and Düsseldorf main station via the “Düsseldorf Airport Train Station” (take S-Bahn number 1, which leaves every 15 or 30 minutes). The university is easily reached from Bochum, Essen, Mülheim …
1. SEAL
2. Team
3. Head of Scientific Staff
Prof. Dr. Jakob Rehof

Types. September 1st, 2014, Rome, Italy. Affiliated to CONCUR 2014. Dagstuhl Seminar 14232, "Design and Synthesis from Components" (Co-organizer with Moshe Y. Vardi) , Schloss Dagstuhl, June 1-6, 2014. ITRS [...] September 1-5, 2014, Grenoble, France. SEFM 2013 (PC member): 11th International Conference on Software Engineering and Formal Methods September 25-27, 2013, Madrid, Spain. BEAT 2013 (PC member): 1st International [...] Conference on Types for Proofs and Programs, 23-26 May 2016, Novi Sad, Serbia. FSCD 2016 (PC member): 1st International Conference on Formal Structures for Computation and Deduction (FSCD) to be held in Porto …
1. SEAL
2. Meta
Suggestions?

the form, your request will be processed to fulfill the tasks of TU Dortmund University with Art. 6 (1) (e) GDPR. The link to our privacy notice with further information on data protection can be found at …