Colloquium
Vorträge an der Fakultät für Informatik
Kolloquium der Fakultät für Informatik
Bachelor-, Master und Doktorandenseminare
-
Monday,
29.04.2024,
14:15
–
15:00
h, Raum OH16/205
Till Kahle
Development of a bootable medium for automated network security analysis
(English)
Bachelor-Abschlussvortrag
–
Informatik IV
–
AG Förster
-
Monday,
29.04.2024,
15:00
–
15:30
h, Raum OH16/205
Belmin Oruc
Chaos Engineering (vorläufiger Titel)
(English)
Bachelor-Einführungsvortrag
–
Informatik IV
–
AG Förster
-
Thursday,
02.05.2024,
10:00
–
12:00
h, Raum OH14/E04
PG 658 PG 658
We Must Construct Additional Neurons: Deep Reinforcement Learning für StarCraft II
Gastvortrag
–
Informatik V
–
AG Steffen
-
Monday,
06.05.2024,
14:15
–
14:45
h, Room t.b.a.
Louai Mansour
Alternative Konzepte zur Konsensfindung in Blockchains
(Deutsch)
Bachelor-Einführungsvortrag
–
Informatik IV
–
AG Buchholz
-
Monday,
06.05.2024,
16:15
–
16:45
h, Raum OH12/3.031
Patrick Pawelczyk
Überwachtes Lernen von prädikatenlogischen Formeln in Pränexform
Bachelor-Einführungsvortrag
–
Informatik I
-
Monday,
06.05.2024,
16:45
–
17:15
h, Raum OH12/3.031
Pia Imiolczyk
Spiele für Logiken mit Zählquantoren
Gastgeber: Prof. Dr. Jean Christoph Jung
Bachelor-Einführungsvortrag
–
Informatik I
-
Tuesday,
07.05.2024,
10:00
–
11:00
h, Raum OH14/105
Marvin Krause
SOS-Supported Graph Transformation - Interpreted Constraint Sensitve Rule Matching and Transformation
Master-Abschlussvortrag
–
Informatik V
–
AG Steffen
-
Tuesday,
07.05.2024,
11:00
–
12:00
h, Raum OH14/105
Sebastian Teumert
„SOS-supported Graph Transformation: Domain-specific Language Design and Integration
Master-Abschlussvortrag
–
Informatik V
–
AG Steffen
-
Monday,
13.05.2024,
14:15
–
15:00
h, Raum OH16/205
Mohamed Aymen Chabchoub
Generierung von stochastischen Eingabedaten mit generativen neuronalen Netzen
(Deutsch)
Bachelor-Abschlussvortrag
–
Informatik IV
–
AG Buchholz
-
Monday,
13.05.2024,
16:15
–
17:00
h, Raum OH12/3.031
Lukas Pradel
Learnability of Regular Path Queries
(English)
Master-Einführungsvortrag
–
Informatik I
-
Monday,
13.05.2024,
17:00
–
17:45
h, Raum OH12/3.031
Tom Voellmer
Bounded Fitting for the Description Logic ALC
(English)
Master-Abschlussvortrag
–
Informatik I
-
Thursday,
16.05.2024,
10:15
–
11:00
h, Raum OH14/202
Cedric Siems
Auffinden von Nash-Gleichgewichten in Markov Games und Extensivformspielen mit Nash Q-learning
(Deutsch)
Master-Einführungsvortrag
–
Informatik XI
–
AG Rudolph