https://pldi24.sigplan.org/profile/robbertkrebbers
Robbert Krebbers - PLDI 2024
Please find the schedule overview here.
robbert krebberspldi
https://popl25.sigplan.org/profile/robbertkrebbers
Robbert Krebbers - POPL 2025
Welcome to the website of the 52nd ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2025). POPL 2025 will take place in Denver, Colorado. See...
robbert krebberspopl