tudo  ls1
Deutsch English (UK)
  • Home
  • Lehre
  • Research
  • Publications
  • Mitarbeiter
  • Kontakt
  • Intern
  • Aktuelle Seite:  
  • LS1 - Logik in der Informatik
Weiterer Artikel wurde zur Präsentation und Veröffentlichung im Rahmen der JELIA 2021 akzeptiert. Anja Flehmig 304
Artikel wurde zur Präsentation und Veröffentlichung im Rahmen der JELIA 2021 akzeptiert Anja Flehmig 378
Weiterer Artikel wurde zur Präsentation und Veröffentlichung im Rahmen der JELIA 2021 akzeptiert Anja Flehmig 311
Lehrveranstaltungen im Sommersemester 2021 Miriam Balke 298
Lehrveranstaltungen im Wintersemester 2020/2021 Miriam Balke 353
Artikel wurde zur Präsentation akzeptiert Anja Flehmig 337
Lehrveranstaltungen im Sommersemester 2020 Miriam Balke 287
35. Mini-Workshop am 27.01.2020 Anja Flehmig 5600
35. Campuslauf der TU Dortmund am 22. Mai 2019 27.05.2019 Anja Flehmig 3827
Lehrveranstaltungen im Sommersemester 2019 Miriam Balke 4134
Lehrveranstaltungen im Wintersemester 2018/2019 Miriam Balke 4167
Zwei Artikel aus der Arbeitsgruppe LogiDAC mit weiteren Koautoren in ACM-Zeitschriften erschienen Miriam Balke 4582
Artikel wurde zur Veröffentlichung akzeptiert Miriam Balke 5166
Stellenausschreibung GTI Miriam Balke 4493
Fellowship für Innovationen in der Digitalen Hochschullehre für Thomas Zeume Miriam Balke 5843

Seite 1 von 4

  • 1
  • 2
  • 3
  • 4

© 2021 LS1 - Logik in der Informatik - Fakultät für Informatik Barrierefreiheit|Datenschutzerklärung|Impressum

Wir nutzen Cookies auf unserer Website. Einige von ihnen sind essenziell für den Betrieb der Seite, während andere uns helfen, diese Website und die Nutzererfahrung zu verbessern (Tracking Cookies). Sie können selbst entscheiden, ob Sie die Cookies zulassen möchten. Bitte beachten Sie, dass bei einer Ablehnung womöglich nicht mehr alle Funktionalitäten der Seite zur Verfügung stehen.

Akzeptieren Ablehnen
Weitere Informationen