Search - LOGIC-IN - TU Dortmund

Search
Personsearch

3235 results

1. LLP
Lectures

FARABI National University, 7.-9.6. 2010, Almaty, Kazakhstan. Meyer, B.C. (2010): Sustainability Impact Assessment (SIA) of policies. 1st. IALE Europe Thematic Symposium. 17. 6.2010, Posnan, Poland. Meyer, [...] Rosier, S. (2024): "dazwischen: Zukunftsorientierter Strukturwandel im Rheinischen Revier". Vortrag am 6.11.2024 im Rahmen der Abschlusskonferenz der BMBF-Fördermaßnahme „STADT-LAND-PLUS“ (aus Stadt und Land [...] – How to Solve Conflicts in Planning Process (Case Study Lower Austria)". Invited Keynote Speech at 6th International Conference of Engineering Science (ICES), Ankara Yildirim Beyazit University (Turkey) …
1. TU Dortmund
2. News: 9/12/2023
Researchers at TU Dortmund University Study Visual Impairments

study Researchers are currently looking for children, adolescents and young adults between the ages of 6 and 19 without visual impairments for an MRI study examining how the brain works when viewing different …
1. RESI
2022-1 RESI-Conference Lecturers needed

one) 1 No Poverty 2 Zero hunger 3 Good health and well-being 4 Quality Education 5 Gender Equality 6 Clean Water and Sanitation 7 Affordable and clean energy 8 Decent work and economic growth 9 Industry …
1. SSE
2. Lehre
3. Wintersemester 2023/2024
Type Systems for Correctness and Security

Type Systems for Correctness and Security Module: INF-MSc-329 LSF: 042540 Credits: 6 (lecture 3.5 / exercises and labs 2.5) Hours: 5 (lecture 3 sws / exercises 2 sws) Location: OH14 - 104 Start: TBA Moodle: …
1. SSE
2. Lehre
3. Wintersemester 2023/2024
Seminar: Replicability of Research Artifacts

lecture 1 Meeting 3: Reading lecture 2 Meeting 4: Reading lecture 3 Meeting 5: Reading lecture 4 Meeting 6: Online block seminar During phase two there will be one optional Q&A session for students. Registration …
1. MIKRO
2. Research
Publications

Asymptotic stability in replicator dynamics derived from TU games . Operations Research Letters , 50 (6), 650-654. 2021 Casajus, A., & Kramm, M. (2021). The dual Lovász extension operator and the Shapley …
1. SSE
2. Lehre
3. Wintersemester 2022/2023
Type Systems for Correctness and Security

Type Systems for Correctness and Security Module: INF-MSc-329 LSF: 042540 Credits: 6 (lecture 3.5 / exercises and labs 2.5) Hours: 5 (lecture 3 sws / exercises 2 sws) Location: OH14 / 104 Start: 11.10 …
1. SSE
2. Lehre
3. Wintersemester 2022/2023
Seminar: Replicability of Research Artifacts

lecture 1 Meeting 3: Reading lecture 2 Meeting 4: Reading lecture 3 Meeting 5: Reading lecture 4 Meeting 6: Online block seminar During phase two there will be one optional Q&A session for students. Registration …
1. AB
2. News: 6/27/2024
Opening of the Laboratory for technical building equipment

ly pleased: To mark the inauguration of the lab, Louis Opländer GmbH awarded scholarships totaling 6,000 euros to five students. In addition to Louis Opländer GmbH, the sponsoring companies and cooperation …
1. Computer Science
2. News: 2/6/2025
UA Ruhr Distinguished Lecture Series: Trustworthy AI

the foyer of our computer science building. Location: August-Schmidt-Straße 4, Dortmund, lecture hall 6 /HG I building, campus south Date: February 20, 2025 Register online and be part of this fascinating …