This page lists the group’s schools outreach and video dissemination activities, which we undertake with the aim of communicating Computer Science in general, and Programming Languages in particular, to a broader-than-academic audience.

Schools outreach

Video dissemination

Short research videos

Research talks

Video tutorials