Kolloquium
Vorträge an der Fakultät für Informatik

Kolloquium der Fakultät für Informatik
Bachelor-, Master und Doktorandenseminare
-
Dienstag,
15.04.2025,
14:00
–
15:00
Uhr, Raum OH14/105
Tobias Litzenberger
Untersuchung des tatsächlichen Einflusses von Bibliotheks-Updates auf die Funktionalität von Softwareprojekten
Master-Abschlussvortrag
–
Informatik V
–
AG Hermann


-
Donnerstag,
17.04.2025,
10:15
–
11:00
Uhr, Raum OH14/202
Luca Roes
Vergleich von internen und externen Zuständen als Eingabe in ein adaptives Musiksystem für Videospiele
(Deutsch)
Bachelor-Abschlussvortrag
–
Informatik XI
–
AG Rudolph


-
Donnerstag,
17.04.2025,
11:15
–
12:00
Uhr, Raum OH14/202
Mohamad Tarek Aldura
Procedural Generation of Carrot Greens using L-Systems and the Space Colonization Algorithm
(English)
Bachelor-Abschlussvortrag
–
Informatik XI
–
AG Rudolph


-
Mittwoch,
23.04.2025,
12:00
–
12:45
Uhr, Raum OH14/202
Olga Ordu-Vyshinskaya
Orientierte Dilation vollständiger Graphen
(Deutsch)
Bachelor-Abschlussvortrag
–
Informatik XI
–
AG Buchin


-
Donnerstag,
24.04.2025,
09:15
–
09:45
Uhr, Raum OH14/202
Nina Niehoff
Dynamic Time Warping durch kürzeste Wege Berechnung
(Deutsch)
Bachelor-Abschlussvortrag
–
Informatik XI
–
AG Buchin


-
Montag,
28.04.2025,
14:15
–
14:45
Uhr, Raum OH16/205
Philipp Lachowski
Comparative Evaluation of Energy Consumption and Routing Performance in MANET Protocols using OMNeT++
(English)
Bachelor-Einführungsvortrag
–
Informatik IV
–
AG Förster


-
Montag,
28.04.2025,
16:15
–
16:45
Uhr, Raum OH12/3.031
Andreas Kovalski
Vergleich von Beweissystemen für Beschreibungslogiken
(Gastgeber: Prof. Dr. Jean Christoph Jung)
(Deutsch)
Bachelor-Einführungsvortrag
–
Informatik I


-
Montag,
28.04.2025,
16:45
–
17:15
Uhr, Raum OH12/3.031
Lukas Gründer
Antwortmengenprogrammierung mit Constraints: das clingcon System
Gastgeber: Prof. Dr. Jean Christoph Jung
Bachelor-Abschlussvortrag
–
Informatik I


-
Dienstag,
06.05.2025,
10:15
–
11:00
Uhr, Raum OH14/105
Julian Peter Sander
Natürlichsprachliche Generierung von graphischen Modellinstanzen
(Deutsch)
Bachelor-Abschlussvortrag
–
Informatik V
–
AG Steffen


-
Montag,
12.05.2025,
16:15
–
16:45
Uhr, Raum OH12/3.031
Alexander Kokh
QBF Beweiser basierend auf Abstraction Refinement
Gastgeber: Prof. Dr. Jean Christoph Jung
Bachelor-Einführungsvortrag
–
Informatik I


-
Montag,
12.05.2025,
16:45
–
17:15
Uhr, Raum OH12/3.031
Aleksandr Ulianov
Beweisstärke von CDCL SAT Solvern
Gastgeber: Prof. Dr. Jean Christoph Jung
Bachelor-Einführungsvortrag
–
Informatik I


Konferenzen und Workshops