PDF (farbig)

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