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

Kolloquium der Fakultät für Informatik

• zur Zeit keine Vorträge
   

Bachelor-, Master und Doktorandenseminare

• Donnerstag, 26.06.2025, 09:30 – 10:00 Uhr, Raum OH14/105
  Bel Grace Ines Talla Toukam
    Statische Analyse von Java Reflection: Verbesserung der Soundness durch Bytecode-Instrumentierung
  Bachelor-Abschlussvortrag – Informatik V – AG Hermann
  
   
• Donnerstag, 26.06.2025, 10:00 – 10:30 Uhr, Raum OH14/105
  Erik Binder
    Challenges and Considerations of Developing a General Pointer Micro Benchmark Framework
  Bachelor-Abschlussvortrag – Informatik V – AG Hermann
  
   
• Donnerstag, 26.06.2025, 11:30 – 12:00 Uhr, Raum OH14/105
  William Serge Kamto Guemto
    Systematische Auswertung von Datenquellen zu Software-Sicherheitslücken
  Bachelor-Abschlussvortrag – Informatik V – AG Hermann
  
   
• Montag, 30.06.2025, 14:15 – 15:00 Uhr, Raum OH16/205
  Kim-Joline Stolzenhoff
    Entwicklung adaptiver, echtzeitfähiger Zeitreihenprognosen mittels ereignisbasierter Trainings von Entscheidungsbäumen auf Zeitreihenclustern (Deutsch)
  Bachelor-Abschlussvortrag – Informatik IV – AG Buchholz
  
   
• Montag, 30.06.2025, 15:00 – 15:30 Uhr, Raum OH16/205
  Lucas Gädke
    Entwicklung einer Software zur Fehlerdiagnose und Betriebsdatenerfassung von Robotersystemen durch Analyse von Logfiles (Deutsch)
  Bachelor-Einführungsvortrag – Informatik IV – AG Buchholz
  
   
• Montag, 07.07.2025, 15:00 – 15:45 Uhr, Raum OH16/205
  Alexander Fröhling
    Benchmark zur Residualanalyse zur Bewertung des Prognoseerfolgs (Deutsch)
  Bachelor-Abschlussvortrag – Informatik IV – AG Buchholz
  
   
• Montag, 07.07.2025, 16:00 – 16:45 Uhr, Raum OH16/205
  Andrew Yuzo Carneiro Zen
    Arborescence Routing in Networks with predefined Failure Probabilities (English)
  Bachelor-Einführungsvortrag – Informatik IV – AG Förster
  
   
• Montag, 29.09.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-Abschlussvortrag – Informatik I
  
   
• Montag, 29.09.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-Abschlussvortrag – Informatik I