PODELSKI

PODELSKI with PLDI 2024

This event will honor Andreas Podelski on the occasion of his 65th birthday. The program will feature talks by Andreas’ collaborators, colleagues, and friends to celebrate his numerous contributions to the field of program analysis and verification. All PLDI 2024 attendees are welcome!