Brigitte Pientka

Registered user since Fri 16 Dec 2016

Name: Brigitte Pientka

Affiliation: McGill University

Personal website: http://www.cs.mcgill.ca/~bpientka/

Contributions

ESOP 2019Committee Member in Program Committee within the ESOP 2019-track
POPL 2019Committee Member in Steering Committee
Off the Beaten Track 2018Committee Member in Program Committee within the Off the Beaten Track 2018-track
FSCD 2017Author of Relating System F and λ2: A Case Study in Coq, Abella and Beluga within the FSCD 2017-track
CPP 2018Session Chair of Formalizing Meta-Theory (part of CPP 2018)
Author of POPLMark Reloaded: Mechanizing Logical Relations Proofs (Invited Talk) within the CPP 2018-track
ICFP 2018Author of T04: Beluga: Programming Proofs About Formal Systems within the Tutorials-track
Session Chair of T04: Beluga: Programming Proofs About Formal Systems (part of Tutorials)
PLMW 2017Session Chair of Welcome (part of PLMW 2017)
Committee Member in Organizing Committee within the PLMW 2017-track
Author of Welcome within the PLMW 2017-track
ICFP 2017PLMW Co-Chair in Organizing Committee
POPL 2018Committee Member in Steering Committee
PLMWCommittee Member in Speaker within the PLMW-track
Author of Mechanizing Meta-Theory in Beluga within the PLMW-track
TTT 2017Author of A Case Study in Programming Coinductive Proofs in Beluga: Howe's Method within the TTT-track
TyDe 2016Committee Member in Program Committee within the TyDe-track
ICFP 2016Author of Indexed Codata Types within the Research Papers-track
POPL 2016ERC member in External Reviewing Committee within the Research Papers-track
ERC member in External Reviewing Committee