Foundational Methods in Computer Science (May 28th - June 2nd)