Chair of Programming Languages and AI
print


Breadcrumb Navigation


Content

Oberseminar PLAI

The PLAI Oberseminar ordinarily takes place Mondays 16-18 c. t. in Room E 102A, Oettingenstr. 67.

Upcoming Seminars

Past Seminars

  • 18 September 2023, 10:00: Michael Schwarz: When Long Jumps Fall Short: Control-Flow Tracking and Misuse Detection for Non-local Jumps in C
  • 11 September 2023, 14:00: Andrei Sabelfeld (Chalmers): Black Ostrich: Web Application Scanning with String Solvers
  • 24 July 2023, 16:15: Xingjian Chen (Master-Abschlussvortrag): Lifted inference using conditional probability logic
  • 17 July 2023, 17:00: Thomas O. (Master-Abschlussvortrag): Static Vulnerability Detection for Decompiled Firmware Binaries
  • 17 July 2023, 16:15: Lars E. (Master-Abschlussvortrag): Third Party Library Detection Using Code Structures
  • 04 July 2023, 10:15: Tristan Benoit: Program Clone Search with Spectral Graph Theory (in L 109)
  • 03 July 2023, 16:30: Ameen Almiftah (Bachelor-Abschlussvortrag): SimPLoID - Simulations with probabilistic logic for infectious disease dynamics
  • 26 June 2023, 16:15: Kilian Rückschloß: Probevorträge für ICLP