09:00 - 09:30 M. Hermann and G. Salzer. MCP: Learning Propositional Formulas From Binarized Data
09:30 - 10:00 X. Huang and J. Marques-Silva. The Inadequacy of Shapley Values for Explainability
10:10 - 10:30 Coffee break
10:30 - 12:30 Presentation of software systems using automated deduction for machine learning
12:30 - 14:00 Lunch
14:00 - 15:30 Discussion