Not registered as user yet

Name: Laura Kovacs

Affiliation: Chalmers University of Technology

POPL 2017 Activities

• Committee Member in Program committee for VMCAI 2017
• Author of Coming to Terms with Quantified Reasoning within the POPL-track in POPL 2017
• Show activities from other conferences