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

Kolloquium der Fakultät für Informatik

• Dienstag, 20.05.2025, 16:15 – 17:15 Uhr, Raum OH14/E04
  Prof. Dr. Frank Neven (Universität Hasselt)
    The Robustness Problem for Database Transactions (English)
  Kolloquiumsvortrag – Informatik I – AG Schwentick
  Gastgeber: Prof. Dr. Thomas Schwentick
  
   

Bachelor-, Master und Doktorandenseminare

• Montag, 28.04.2025, 14:15 – 14:45 Uhr, 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
  
   
• Montag, 28.04.2025, 15:00 – 15:30 Uhr, Raum OH16/205
  Sergej Jelic
    Implementierung von Zeitreihenprognosen mit Unsicherheitsschätzung in einem stochastischen Modellierungstool (Deutsch)
  Bachelor-Einführungsvortrag – Informatik IV – AG Buchholz
  
   
• Montag, 28.04.2025, 16:15 – 16:45 Uhr, Raum OH12/3.031
  Andreas Kovalski
    Vergleich von Beweissystemen für Beschreibungslogiken
    (Gastgeber: Prof. Dr. Jean Christoph Jung) (Deutsch)
  Bachelor-Einführungsvortrag – Informatik I
  
   
• Montag, 28.04.2025, 16:45 – 17:15 Uhr, Raum OH12/3.031
  Lukas Gründer
    Antwortmengenprogrammierung mit Constraints: das clingcon System
    Gastgeber: Prof. Dr. Jean Christoph Jung
  Bachelor-Abschlussvortrag – Informatik I
  
   
• Montag, 05.05.2025, 14:15 – 14:45 Uhr, Raum OH16/205
  Ismail Khlif
    Zeitreihenanalyse mit ML-Methoden in ASMo (Deutsch)
  Bachelor-Einführungsvortrag – Informatik IV – AG Buchholz
  
   
• Dienstag, 06.05.2025, 10:15 – 11:00 Uhr, Raum OH14/105
  Julian Peter Sander
    Natürlichsprachliche Generierung von graphischen Modellinstanzen (Deutsch)
  Bachelor-Abschlussvortrag – Informatik V – AG Steffen
  
   
• Montag, 12.05.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-Einführungsvortrag – Informatik I
  
   
• Montag, 12.05.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-Einführungsvortrag – Informatik I
  
   
• Donnerstag, 15.05.2025, 10:15 – 11:15 Uhr, 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

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