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 here for talks organised by him), Will Harwood, Klaus Aehlig, and Monika Seisenberger. From January 2010 on, Fredrik Nordvall Forsberg and Matthew Gwynne organise the seminar.

The list of talks is also available as a RSS feed and as a calendar file.

Michaelmas Term 2012

• Thursday 8th November 2012, 14:00, Far-134 (Video Conferencing Room)
  Guy McCusker (University of Bath)
  Quantitative relational models of lambda-calculi
  
  
• Thursday 15th November 2012, 14:00, Far-134 (Video Conferencing Room)
  Helen Treharne (University of Surrey)
  The Behavioural Semantics of Event-B Refinement
  
  
• Thursday 22nd November 2012, 14:00, Board Room
  Karim Kanso (Swansea University)
  Agda as a Platform for the Development of Verified Railway Interlocking Systems
  
  
• Friday 30th November 2012, 15:00, Robert Recorde Room
  John Tucker (Swansea University)
  What can we compute? A history of the Church-Turing Hypothesis
  
  
• Thursday 6th December 2012, 14:00, Far-134 (Video Conferencing Room)
  David Wilson (University of Bath)
  Real Geometry and Connectedness - A survey of Cylindrical Algebraic Decomposition
  
  
• Thursday 13th December 2012, 14:00, Board Room
  Tom Maibaum (McMaster University)
  Intermodeling, queries, and Kleisli categories
  
  

Other PCV seminars

• Lent and Summer Term 2013
  
• Michaelmas Term 2012
  
• Lent and Summer Term 2012
  
• Michaelmas Term 2011
  
• Lent and Summer Term 2011
  
• Michaelmas Term 2010
  
• Lent and Summer Term 2010
  
• Michaelmas Term 2009
  
• Lent and Summer Term 2009
  
• Michaelmas Term 2008
  
• Lent and Summer Term 2008
  
• Michaelmas Term 2007
  
• Lent and Summer Term 2007
  
• Michaelmas Term 2006
  
• Lent and Summer Term 2006