Programming Languages

We have occasional seminars on topics in Programming Languages. All are welcome.

Upcoming seminarsPrevious seminars

 Subscribe to this seminar series calendar.

• 23Feb
  The Cognitive and Human Factors of Formal Methods

  15:00 Monday 23rd February ( week 6, Hilary Term 2026 ) in Tony Hoare Room, Robert Hooke Building

  Shriram Krishnamurthi ( Brown University )