Not registered as user yet

Name: Nikolaj Bjørner

Affiliation: Microsoft Research

POPL 2017 Activities

• Committee Member in Program Committee for CPP 2017
• ERC member in External Review Committee for POPL 2017
• Show activities from other conferences