Computer Science Proof, Complexity and Verification Seminar Series

The idea for the PCV Seminar Series grew amongst members of our theory group who felt a need for a platform to present our work in the area of Proof Theory, Complexity Theory and Program Verification. It is intended to be a high level research seminar where we can discuss latest ideas and results, as well as address technical issues, and are able to invite speakers from outside.

In the beginning of 2005, this idea turned into the PCV Seminar. Organizers so far have been Markus Michelbrink (see http://www.cs.swan.ac.uk/~csarnold/PCV/index.html for talks organised by him), Will Harwood, Klaus Aehlig, and Monika Seisenberger. From January 2010 on, Fredrik Forsberg and Matthew Gwynne will assist with the organisation of the seminars.

Next Seminar

Lent and Summer Term 2012

Other PCV seminars