conf.researchr.org / Brigitte Pientka
Registered user since Fri 16 Dec 2016
Name:Brigitte Pientka
Country:Canada
Affiliation:McGill University
Personal website: http://www.cs.mcgill.ca/~bpientka/
Contributions
2025
ICFP
CPP
2024
ICFP
- PC Chair in Organizing Committee
- Author of Recognition of Distinguished Papers within the ICFP Papers and Events-track
- Session Chair of Tuesday keynote (part of ICFP Papers and Events)
- Author of Normalization by evaluation for modal dependent type theory within the JFP First Papers-track
- Author of PC Chair's report within the ICFP Papers and Events-track
- 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
CPP
- PC Chair in Organizing Committee within the CPP 2024-track
- PC Chair in Program Committee within the CPP 2024-track
- Steering Committee Member in Steering Committee within the CPP 2024-track
- Session Chair of Interactive Proof Development (part of CPP 2024)
- Session Chair of Business Meeting (part of CPP 2024)
2023
POPL
2022
2021
2020
ICFP
POPL
- Session Chair of Invited Talk (part of Research Papers)
- Session Chair of Datalog, OO + Functional Programming (part of Research Papers)
- Session Chair of Invited Talk (part of Research Papers)
- Committee Member in Organizers within the W@POPL Dinner-track
- Session Chair of Welcome + SIGPLAN Award Ceremony (part of Research Papers)
- General Chair in Organizing Committee
- Panelist in Panel within the POPLmark 15 Year Retrospective Panel-track