Dortmund, 15. April 2015 Vorschau auf die Vorträge der nächsten vier Wochen Kolloquiumsvorträge Donnerstag, 30. April 2015, 14:15, Raum E04, OH 14 Prüfung Promotionsvortrag mit mündlicher Andreas Heinig, N.N., Gastgeber: Dekan, Fakultät für Informatik: „Flexible Error Handling for Embedded Real-Time Systems - Operating System and RunTime Aspects” Mittwoch, 6. Mai 2015, 12:15, Raum E04, OH 14 Promotionsvortrag mit mündlicher Prüfung Oliver Flasch, N.N., Gastgeber: Dekan, Fakultät für Informatik: „A Modular Genetic Programming System” Montag, 11. Mai 2015, 15:15, Raum E04, OH 14 Promotionsvortrag mit mündlicher Prüfung Thomas Zeume, Informatik I, Gastgeber: Dekan, Fakultät für Informatik: „Small Dynamic Complexity Classes” Vorträge der Dipl./Dokt.-Seminare Donnerstag, 16. April 2015, 10:15, OH 14, SR 202 DiDo Ls 11 Christopher Morris, Ls 11: „Enumeration Complexity of Multicriteria Linear Optimization (MA Abschluss)” Donnerstag, 16. April 2015, 11:15, OH 14, SR 202 Markus Kloß, Ls 11: „Multi-Pattern Coverage in Large Graph Data Sets (MA Einführung)” ZU DIESEN VORTRÄGEN LADEN HERZLICH EIN DIE DOZENTEN DER FAKULTÄT FÜR INFORMATIK DiDo Ls 11 Montag, 20. April 2015, 16:15, OH 12, R.3.013 DiDo LS 1 Bernhard Groll, LS 1: „Diplom-Einführungsvortrag: System Z und Relevant Closure für unsichere beschreibungslogische Konzeptinklusionen” Mittwoch, 22. April 2015, 16:00, Raum 2.013 OH12 DiDo LS14 Jens Veuhoff, LS14: „Einsatz von ”Spiele-Bibliotheken” für die Realisisierung von 2D-Computer-Spielen im Software-Praktikum” Donnerstag, 23. April 2015, 10:15, OH 14, SR 202 DiDo Ls 11 Elisabeth Böhmer, Ls 11: „Simulation einer Multikapillarsäule (DA Einführung)” Montag, 27. April 2015, 14:15, OH 16, R.E18 DiDo LS 12 TI Martin Scholten, LS 12 TI: „Softwareredundanz zur Erkennung transienter Fehler - BA Abschlussvortrag” Montag, 27. April 2015, 16:15, OH 12, R.3.013 Niklas Klocke, LS 1: „Bachelor-Einführungsvortrag: Form” DiDo LS 1 Strukturell-operationelle Semantik in bialgebraischer Montag, 27. April 2015, 16:15, OH 12, R.3.013 Christoph Stahl, LS 1: „Bachelor-Einführungsvortrag: Grundlagen strukturell-operationeller Semantik” DiDo LS 1 kategorientheoretischer Behandlung Donnerstag, 30. April 2015, 10:15, OH 14, SR 202 DiDo Ls 11 Michèl Jakob, Ls 11: „Prozedurale Raumschiff-Generierung durch kompetitive Koevolution (BA Abschluss)” Donnerstag, 7. Mai 2015, 10:15, OH 14, SR 202 DiDo Ls 11 Annika Nehrke, Ls 11: „Optische Erkennung von Schachrätseln aus Rastergrafiken zur Benutzung auf mobilen Endgeräten (BA Abschluss)” Donnerstag, 7. Mai 2015, 11:00, OH 14, SR 202 N. N., Ls 11: „N. N. (MA Abschluss)” ZU DIESEN VORTRÄGEN LADEN HERZLICH EIN DIE DOZENTEN DER FAKULTÄT FÜR INFORMATIK DiDo Ls 11 Die aktuellste Fassung gibt es unter http://kolloquium.cs.uni-dortmund.de! ZU DIESEN VORTRÄGEN LADEN HERZLICH EIN DIE DOZENTEN DER FAKULTÄT FÜR INFORMATIK
© Copyright 2025 ExpyDoc