Kathrin Stark - POPL 2020

Registered user since Tue 8 Jan 2019

Name:Kathrin Stark

Country:Germany

Affiliation:Princeton University, USA

Contributions

CPP 2020	Session Chair of Decidability and complexity (part of CPP 2020) Committee Member in Program Committee within the CPP 2020-track Coq à la Carte - A Practical Approach to Modular Syntax with Binders
CoqPL 2020	Invited Speaker in Invited speakers within the CoqPL-track Autosubst 2: Mechanising binders in Coq (Keynote)
Show activities from other conferences