Registered user since Fri 16 Dec 2016
Name:Brigitte Pientka
Country:Canada
Affiliation:McGill University
Personal website: http://www.cs.mcgill.ca/~bpientka/
Contributions
2024
ICFP
- PC Chair in Organizing Committee
- Recognition of Distinguished Papers
- Session Chair of Tuesday keynote (part of ICFP Papers and Events)
- Normalization by evaluation for modal dependent type theory
- PC Chair's report
- PC Chair in ICFP Papers and Events within the ICFP Papers and Events-track
- Committee Member in Workshop Selection Committee within the ICFP Workshops-track
ICFP 2024-profile
View general profile
View general profile