Symposium on Practical Aspects of Declarative Languages

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