The Verification and Testing group holds a weekly research seminar, which usually consists of a talk by an internal or invited external speaker. It also acts as the central time when all members of the group meet, and can thus be used to raise issues and discuss matters. All interested parties are invited to attend.
During the 2008/09 semesters, the seminars were held at 11:00 am on a Monday in G22, unless otherwise specified. The seminars include various other groups like briding-the-gaps and departmental level talks. The varied times will be announced here.
If you would like to give a talk at a future VT seminar, please contact the seminar organiser with an appropriate date. Dates within academic semesters are generally better attended.