Programming Languages

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

Upcoming seminarsPrevious seminars

 Subscribe to this seminar series calendar.

• 13Nov
  State Time Geometry: A Formal Model Describing Execution of Real-World Software

  11:00 Friday 13th November ( Michaelmas Term 2026 ) in Bill Roscoe Lecture Theatre

  Peter Braam