Research Group Seminars

In addition to our main Distinguished Lecture Series, each research group organises seminar series within its areas of interest:

• Theory: Algebraic and Logical Design Methods
  • Algebraic Specification seminars
    
    • organised by Markus Roggenbach
    • started in August 2003
  • PCV: Proof Complexity and Verification seminars
    
    • organised by Monika Seisenberger
    • started in March 2005
• Visual Computing
  • Visual Computing seminars
  • The Visible Lunch
    
    • organised by Bob Laramee and Tony McLoughlin
    • started in August 2007
• HCI: Future Interaction Technology
  • Reading group
    • organised by Max Wilson
    • started in May 2009

A historical record of internal departmental seminars before 2003 can be found here.