LOGIC
AND
LEARNING

2nd School on Foundations of Programming and Software Systems
1-6 July 2018

Slides, videos, and lectures notes are available on the programme