Activities

Dagstuhl seminar 21192 Approaches and Applications of Inductive Programming

OOPSLA 2019 ERC member

SOAP 2018 PC member

POPL 2017 ERC member

SAS 2016 PC member

PLDI 2014 PC member

TAPAS 2013 PC member

POPL 2012 ERC member