I gave a talk for the workshop on how the synthesis of logic and device Understanding, Particularly spots for example statistical relational learning, can empower interpretability.I will be giving a tutorial on logic and Studying having a give attention to infinite domains at this yr's SUM. Website link to function listed here.I gave a chat entitle