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

Kolloquium der Fakultät für Informatik

• Wednesday, 27.11.2024, 14:00 – 15:00 h, 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
  
   
• Thursday, 28.11.2024, 10:00 – 11:00 h, 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

• Monday, 25.11.2024, 16:15 – 17:00 h, Raum OH12/3.031
  Lukas Pradel
    Learnability of Regular Path Queries
    Gastgeber: Prof. Dr. Jean Christoph Jung (English)
  Master-Abschlussvortrag – Informatik I
  
   
• Wednesday, 27.11.2024, 10:00 – 11:00 h, Raum OH14/105
  Michal Piesiur
    Gefahren dynamischer Programmierung: Eine Analyse der Sicherheitsrisiken durch Java Reflection und verwandte Sprachfeatures
  Bachelor-Abschlussvortrag – Informatik V – AG Hermann
  
   
• Thursday, 28.11.2024, 10:15 – 11:15 h, 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
  
   
• Monday, 02.12.2024, 14:15 – 15:00 h, Raum OH16/205
  Belmin Oruc
    Schutz von Netzwerken durch Fehlereinspeisung / Protection of networks through failure injection
  Bachelor-Abschlussvortrag – Informatik IV – AG Förster
  
   
• Monday, 02.12.2024, 15:00 – 15:30 h, Raum OH16/205
  Ali Almazaal
    Entwicklung eines automatisierten Berichtgenerators mit GUI für Netzwerkanalyse (Deutsch)
  Bachelor-Einführungsvortrag – Informatik IV – AG Förster
  
   
• Thursday, 05.12.2024, 10:15 – 11:00 h, 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
  
   
• Monday, 09.12.2024, 14:15 – 15:00 h, Raum OH16/205
  Louai Mansour
    Alternative Konzepte zur Konsensfindung in Blockchains (Deutsch)
  Bachelor-Abschlussvortrag – Informatik IV – AG Buchholz
  
   
• Monday, 16.12.2024, 14:15 – 14:45 h, Raum OH16/205
  Hannah Moldenhauer
    wird noch bekannt gegeben (Deutsch)
  Bachelor-Einführungsvortrag – Informatik IV – AG Förster
  
   
• Monday, 16.12.2024, 14:15 – 14:45 h, Raum OH16/205
  Hannah Moldenhauer
    wird noch bekannt gegeben (Deutsch)
  Bachelor-Einführungsvortrag – Informatik IV – AG Förster
  
   
• Monday, 16.12.2024, 16:15 – 17:00 h, Raum OH12/3.031
  Daniel Albert
    On parallel constant-time string algorithms
  Master-Abschlussvortrag – Informatik I – AG Schwentick