Seminars and Colloquia
The Departmental Colloquium attracts international, national and local speakers to give talks on a variety of scientific topics relevant to computing. It is currently organised by Matt Jones and Markus Roggenbach.
In addition, 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
- Algebraic Specification seminars
- Graphics: Visual and Interactive Computing
- The Visible Lunch
- organised by Bob Laramee and Tony McLoughlin
- started in August 2007
- The Visible Lunch
- HCI: Future Interaction Technology
A historical record of internal departmental seminars before 2003 can be found here.