POPL 2018
Sun 7 - Sat 13 January 2018 Los Angeles, California, United States
POPL 2018 (series) / Laura Kovacs
Laura Kovacs

Registered user since Wed 10 Jul 2019

Name:Laura Kovacs
Affiliation:Chalmers University of Technology

Contributions

VMCAI 2018 Committee Member in Program Committee within the VMCAI 2018-track
Invariant Generation for Multi-Path Loops with Polynomial Assignments
POPL 2018 Committee Member in Program Committee within the Research Papers-track
Show activities from other conferences

POPL 2018-profile
View general profile