Registered user since Fri 28 Dec 2018
Name:Alfons Laarman
Country:Netherlands
Affiliation:Leiden University
Research interests:Verification, Parallel Computing
Contributions
POPL 2019-profile
View general profile
View general profile
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
- Attending
- Program
- Tracks
- Co-hosted Conferences
- CPP
- VMCAI
- Workshops
- BEAT
- CoqPL
- LAFI (né PPS)
- OPCT
- Off the Beaten Track
- PEPM
- PLMW @POPL
- PriSC
- Co-hosted Symposia
- PADL
- Organization
- POPL 2019 Committees
- Organizing Committee
- Steering Committee
- Track Committees
- Research Papers
- Artifact Evaluation
- TutorialFest
- Student Research Competition
- Contributors
- People Index
- Search
- Series