Kolloquium
Vorträge an der Fakultät für Informatik
Kolloquium der Fakultät für Informatik
-
Mittwoch,
27.11.2024,
14:00
–
15:00
Uhr, Raum OH14/E04
Johan van Benthem
(University of Amsterdam, Stanford University, Tsinghua University Beijing))
Interpolation in Philosophy
Gastgeber: Prof. Dr. Jean Christoph Jung
Kolloquiumsvortrag
–
Informatik I
-
Donnerstag,
28.11.2024,
10:00
–
11:00
Uhr, Raum OH14/E04
Graham Leigh
(University of Gothenburg)
Fixed Point Logics and Cyclic Proofs
Gastgeber: Prof. Dr. Jean Christoph Jung
Kolloquiumsvortrag
–
Informatik I
Bachelor-, Master und Doktorandenseminare
-
Montag,
25.11.2024,
16:15
–
17:00
Uhr, Raum OH12/3.031
Lukas Pradel
Learnability of Regular Path Queries
Gastgeber: Prof. Dr. Jean Christoph Jung
(English)
Master-Abschlussvortrag
–
Informatik I
-
Mittwoch,
27.11.2024,
10:00
–
11:00
Uhr, Raum OH14/105
Michal Piesiur
Gefahren dynamischer Programmierung: Eine Analyse der Sicherheitsrisiken durch Java Reflection und verwandte Sprachfeatures
Bachelor-Abschlussvortrag
–
Informatik V
–
AG Hermann
-
Donnerstag,
28.11.2024,
10:15
–
11:15
Uhr, Raum OH14/202
Cedric Siems
Auffinden von Nash-Gleichgewichten in Markov Games und Extensivformspielen mit Nash Q-learning
(Deutsch)
Master-Abschlussvortrag
–
Informatik XI
–
AG Rudolph
-
Montag,
02.12.2024,
14:15
–
15:00
Uhr, Raum OH16/205
Belmin Oruc
Schutz von Netzwerken durch Fehlereinspeisung / Protection of networks through failure injection
Bachelor-Abschlussvortrag
–
Informatik IV
–
AG Förster
-
Montag,
02.12.2024,
15:00
–
15:30
Uhr, Raum OH16/205
Ali Almazaal
Entwicklung eines automatisierten Berichtgenerators mit GUI für Netzwerkanalyse
(Deutsch)
Bachelor-Einführungsvortrag
–
Informatik IV
–
AG Förster
-
Donnerstag,
05.12.2024,
10:15
–
11:00
Uhr, Raum OH14/202
Lisa Marie Groll
Ausbalancierung der Gewinnraten in Multiplayer Games durch evolutionäre Platzierung von Resourcen
(Deutsch)
Bachelor-Abschlussvortrag
–
Informatik XI
–
AG Rudolph
-
Montag,
09.12.2024,
14:15
–
15:00
Uhr, Raum OH16/205
Louai Mansour
Alternative Konzepte zur Konsensfindung in Blockchains
(Deutsch)
Bachelor-Abschlussvortrag
–
Informatik IV
–
AG Buchholz
-
Montag,
16.12.2024,
14:15
–
14:45
Uhr, Raum OH16/205
Hannah Moldenhauer
wird noch bekannt gegeben
(Deutsch)
Bachelor-Einführungsvortrag
–
Informatik IV
–
AG Förster
-
Montag,
16.12.2024,
14:15
–
14:45
Uhr, Raum OH16/205
Hannah Moldenhauer
wird noch bekannt gegeben
(Deutsch)
Bachelor-Einführungsvortrag
–
Informatik IV
–
AG Förster
-
Montag,
16.12.2024,
16:15
–
17:00
Uhr, Raum OH12/3.031
Daniel Albert
On parallel constant-time string algorithms
Master-Abschlussvortrag
–
Informatik I
–
AG Schwentick