Not registered as user yet
Name: Frantisek Farka
Contributions
| PADL 2019 | Author of Proof Carrying Plans within the PADL 2019-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
- Attending
- Program
- Tracks
- Co-hosted Conferences
- CPP
- VMCAI
- Co-hosted Workshops
- BEAT
- CoqPL
- LAFI (né PPS)
- OPCT
- Off the Beaten Track
- PEPM
- PLMW @POPL
- PriSC
- Co-hosted Symposiums
- PADL
- Organization
- Search
- Series