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