Kolloquiumsbetreuung
Informatik

Offener Bereich
Startseite
Liste aller Vorträge
PDF (schwarz-weiß)
PDF (farbig)
Vortrag suchen
Bedienungsanleitung
Was ist neu?
E-Mail abschicken

Bearbeiten
(beschränkter Zugang)
Vortrag anlegen
Kolloquiumsvortrag
DiDo-Vortrag
Promotionsvortrag
Antrittsvorlesung
Allgemeiner Vortrag
Vortrag bearbeiten
Fehlende Vortragsdaten
Abrechnung
Eigenes Profil editieren
Passwort ändern

Administration
Profilverwaltung
Liste der Profile
Neues Profil
Liste der Logeinträge

Liste aller Vorträge


Gastgeber: Vortragsart:

Allgemeine Suche



Kolloquium

Mittwoch, 22. Mai 2019, 15:15, Raum 205, Otto-Hahn-Str. 16, Campus Nord (Promotionsvortrag mit mündlicher Prüfung),
Kuan-Hsun Chen (Informatik 12),
Gastgeber: Dekan, Fakultät für Informatik:
"Optimization and Analysis for Dependable Application Software on Unreliable Hardware Platforms" (Einladung in Farbe)
Freitag, 24. Mai 2019, 10:00, OH 14, Raum E 04 (Kolloquium),
Prof. Dr. Heike Leitte (Technische Universität Kaiserslautern),
Gastgeber: Prof. Dr. Buchholz, LS 4:
"Towards Modern Data Analysis" (Einladung in Farbe)
Freitag, 24. Mai 2019, 13:00, OH 14, Raum E 04 (Kolloquium),
Prof. Dr. Carsten Dachsbacher (Karlsruher Institut für Technologie),
Gastgeber: Prof. Dr. Buchholz, LS 4:
"Visual Computing: Von der grafischen Datenverarbeitung zur Ubiquität visueller Daten" (Einladung in Farbe)
Freitag, 24. Mai 2019, 16:00, OH14, Raum E 04 (Kolloquium),
Prof. Dr. Holger Theisel (Otto-von-Gericke-Universität Magdeburg),
Gastgeber: Prof. Dr. Buchholz, LS 4:
"Generic Objective Vortices for Flow Visualization" (Einladung in Farbe)
Montag, 27. Mai 2019, 16:15, OH 12, R. 3.031 (Vortrag),
Patrick Dinklage (TU Dortmund, Lehrstuhl Informatik 11),
Gastgeber: Prof. Dr. Thomas Schwentick, LS 1:
"Distributed Wavelet Tree Construction" (Einladung in Farbe)
Montag, 27. Mai 2019, 16:15, OH 12, R. 3.031 (Vortrag),
Anja Rey (TU Dortmund, Lehrstuhl Informatik 2),
Gastgeber: Prof. Dr. Thomas Schwentick, LS 1:
"A Property Testing Framework for the Theoretical Expressivity of Graph Kernels" (Einladung in Farbe)
Montag, 27. Mai 2019, 16:15, OH 12, R. 3.031 (Vortrag),
Marco Wilhelm (TU Dortmund, Lehrstuhl Informatik 1),
Gastgeber: Prof. Dr. Thomas Schwentick, LS 1:
"The Probabilistic Description Logic ALC^{ME}" (Einladung in Farbe)


Diplomanden- und Doktorandenseminare (DiDo)

Donnerstag, 23. Mai 2019, 10:15, OH 12, R. 3.030 (DiDo Ls 11),
Timo Putzer (Ls 11):
"Praktischer Vergleich von van Emde Boas Trees und Y-Fast Tries (BA Abschluss, AG Fischer)"
Montag, 27. Mai 2019, 10:00, OH 14, Raum 105 (DiDo LS 5),
Marius Feltmann (LS 5):
"Generierung von domänenspezifischen Modell-zu-Modell-Transformationsumgebungen in Cinco (MA Abschluß)"
Montag, 3. Juni 2019, 16:15, OH 12, R. 3.031 (DiDo LS 1),
Jonas Bode (LS 1 LogiDAC):
"Polyreguläre Funktionen (MA Einführung)"
Montag, 3. Juni 2019, 16:15, OH 12, R. 3.031 (DiDo LS 1),
Sven Deichsel (LS 1 LogiDAC):
"Zustandskomplexität von 2-Wege-Automaten (BA Einführung)"
Montag, 3. Juni 2019, 16:15, OH 12, R. 3.031 (DiDo LS 1),
Lars-Henrik Röhricht (LS 1 LogiDAC):
"Topologische Sortierung unter regulären Bedingungen (BA Einführung)"
Donnerstag, 6. Juni 2019, 10:15, OH 14, SR 202 (DiDo Ls 11),
Hauke Singerhoff (Ls 11):
"Musiksegmentierung mit Convolutional Neural Networks (MA Abschluss, AG Rudolph)"
Donnerstag, 13. Juni 2019, 10:15, OH 14, SR 202 (DiDo Ls 11),
Henri Lübeck (Ls 11):
"Implementation und Auswertung von Single Active Gene Mutation in CGP (BA Abschluss, AG Rudolph)"
Donnerstag, 13. Juni 2019, 11:00, OH 14, SR 202 (DiDo Ls 11),
Ben Wilkes (Ls 11):
"Analyse von bild-, text- und audiobasierten Merkmalen für die Klassifikation von Musikgenres (MA Abschluss, AG Rudolph)"
Montag, 17. Juni 2019, 14:15, Otto-Hahn-Str. 16, 2. OG, Raum 205 (DiDo LS 4),
Sascha Howey (LS 4):
"PenBox - ein mobiles, automatisiertes Schwachstellenanalysetool (DA Abschlussvortrag)"
Montag, 17. Juni 2019, 16:15, OH 12, R. 3.031 (DiDo LS 1),
Karen Toben (LS 1 IE):
"Iterierte Kontraktion unter Berücksichtigung des Prinzips der konditionalen Erhaltung (BA Abschluss)"
Montag, 17. Juni 2019, 16:15, OH 12, R. 3.031 (DiDo LS 1),
Clemens Classen (LS 1 FLDIT):
"Compilezeit-Verifizierung von Pre- und Postconditions in Rust mittels Constraint Handling Rules (MA Einführung)"




Anfang der Seite