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

• Wednesday, 23.04.2025, 12:00 – 12:45 h, Raum OH14/202
  Olga Ordu-Vyshinskaya
    Orientierte Dilation vollständiger Graphen (Deutsch)
  Bachelor-Abschlussvortrag – Informatik XI – AG Buchin
  
   
• Thursday, 24.04.2025, 09:15 – 09:45 h, Raum OH14/202
  Nina Niehoff
    Dynamic Time Warping durch kürzeste Wege Berechnung (Deutsch)
  Bachelor-Abschlussvortrag – Informatik XI – AG Buchin
  
   
• Monday, 28.04.2025, 14:15 – 14:45 h, 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
  
   
• Monday, 28.04.2025, 15:00 – 15:30 h, Raum OH16/205
  Sergej Jelic
    Implementierung von Zeitreihenprognosen mit Unsicherheitsschätzung in einem stochastischen Modellierungstool (Deutsch)
  Bachelor-Einführungsvortrag – Informatik IV – AG Buchholz
  
   
• Monday, 28.04.2025, 16:15 – 16:45 h, Raum OH12/3.031
  Andreas Kovalski
    Vergleich von Beweissystemen für Beschreibungslogiken
    (Gastgeber: Prof. Dr. Jean Christoph Jung) (Deutsch)
  Bachelor-Einführungsvortrag – Informatik I
  
   
• Monday, 28.04.2025, 16:45 – 17:15 h, Raum OH12/3.031
  Lukas Gründer
    Antwortmengenprogrammierung mit Constraints: das clingcon System
    Gastgeber: Prof. Dr. Jean Christoph Jung
  Bachelor-Abschlussvortrag – Informatik I
  
   
• Tuesday, 06.05.2025, 10:15 – 11:00 h, Raum OH14/105
  Julian Peter Sander
    Natürlichsprachliche Generierung von graphischen Modellinstanzen (Deutsch)
  Bachelor-Abschlussvortrag – Informatik V – AG Steffen
  
   
• Monday, 12.05.2025, 16:15 – 16:45 h, Raum OH12/3.031
  Alexander Kokh
    QBF Beweiser basierend auf Abstraction Refinement
    Gastgeber: Prof. Dr. Jean Christoph Jung
  Bachelor-Einführungsvortrag – Informatik I
  
   
• Monday, 12.05.2025, 16:45 – 17:15 h, Raum OH12/3.031
  Aleksandr Ulianov
    Beweisstärke von CDCL SAT Solvern
    Gastgeber: Prof. Dr. Jean Christoph Jung
  Bachelor-Einführungsvortrag – Informatik I
  
   
• Thursday, 15.05.2025, 10:15 – 11:15 h, Raum OH14/202
  Moncif Souhali
    Language Models as Code Generating Agents to Navigate 2D Game Environments (English)
  Bachelor-Abschlussvortrag – Informatik XI – AG Rudolph
  
   

Konferenzen und Workshops

• Monday, 05.05.2025, 16:15 – 16:45 h, Raum OH12/3.031
  Corentin Barloy (Ruhr Universität Bochum)
    The Regular Languages of First-Order Logic with One Alternation
  Workshop
  
   
• Monday, 05.05.2025, 16:45 – 17:15 h, Raum OH12/3.031
  Francesco Masillo (TU Dortmund)
    A Textbook Solution for Dynamic Strings
  Workshop
  
   
• Monday, 05.05.2025, 17:30 – 18:00 h, Raum OH12/3.031
  Carolin Rehs or Torben Scheele (TU Dortmund)
    Geometric spanners of bounded tree-width
  Workshop