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!
Important Dates AoE (UTC-12h)
| Tue 25 Jun 2024 Workshop |
