xAt 9.10 CET (in <5 minutes), the conf.researchr.org platform will be updated, causing conference websites to be offline for 1 minute. You may need to refresh the page you're viewing to interact with the website again.
Write a Blog >>
Kathrin Stark

Registered user since Tue 8 Jan 2019

Name: Kathrin Stark

Country: Germany

Affiliation: Princeton University, USA

Personal website: https://www.k-stark.de

Contributions

CoqPL 2020 Invited Speaker in Invited speakers within the CoqPL-track
Autosubst 2: Mechanising binders in Coq (Keynote)
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
Show activities from other conferences

POPL 2020-profile
View general profile