Registered user since Tue 6 Oct 2026
Name:Nir Piterman
Country:Sweden
Affiliation:University Gothenburg
Personal website: https://www.cse.chalmers.se/~piterman/
Contributions
2024
GaLoP
POPL 2024-profile
View general profile
View general profile
POPL 2024
Sun 14 - Sat 20 January 2024 London, United Kingdom
- Attending
- Program
- Tracks
- Co-hosted Conferences
- CPP
- VMCAI
- Workshops
- CoqPL
- Dafny
- GALOP
- Incorrectness
- LAFI
- N40AI
- O'Hearn Fest
- PEPM
- PLanQC
- PLMW @ POPL
- POCL
- PriSC
- PROPL
- The Future of Weak Memory
- WAW
- WITS
- Co-hosted Symposia
- PADL
- Organization
- POPL 2024 Committees
- Organizing Committee
- AV Committee
- Student Volunteers
- Track Committees
- Artifact Evaluation
- Diversity, Equity and Inclusion
- POPL
- Student Research Competition
- Contributors
- People Index
- Co-hosted Conferences
- CPP
- VMCAI
- Workshops
- CoqPL
- Dafny
- GALOP
- Incorrectness
- LAFI
- N40AI
- O'Hearn Fest
- PEPM
- PLanQC
- PLMW @ POPL
- POCL
- PriSC
- PROPL
- The Future of Weak Memory
- WAW
- WITS
- Co-hosted Symposia
- PADL
- Search
- Series