Symposium on Practical Aspects of Declarative Languages

• Author of Panel: Reasoning for machine learning at large within the PADL 2020-track
• Author of Exploiting Database Systems and Treewidth for Counting within the PADL 2020-track