Departmental Seminars

This is a series of non-specialist lectures which should be of interest to most members of the Department of Computer Science, as well as to other members of the University.

Everyone is very welcome to come, and to suggest new topics and speakers to Sam Staton (co-ordinator).

Tuesdays at 2pm in Lecture Theatre B (unless otherwise stated)

Upcoming seminarsPrevious seminars

 Subscribe to this seminar series calendar.

• 27Jul
  Formal Methods in Mathematics and the Lean Theorem Prover

  11:00 Thursday 27th July ( Trinity Term 2017 ) in 051

  Jeremy Avigad ( CMU )

Sam Staton