Logic for Programming and Automated Reasoning: 7th International Conference | DealShopping Schweiz