Oberseminar PLAI

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

Upcoming 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