Symposium on Practical Aspects of Declarative Languages

• Panel: Reasoning for machine learning at large
• Exploiting Database Systems and Treewidth for Counting