Dear all, Due to many people being away at QCrypt, and the conflicting Paul Bernay lecture (info below), this week's meeting has been cancelled. We will resume as per normal on the 18th (probably with a talk from Christian). Cheers, Norm Paul Bernay Lecture Series “Three Problems for Mathematics : Consistency, the Continuum, and Categories” They will be held by Prof. Solomon Feferman from Stanford University (USA). All the lectures will take place at the ETHZ, Auditorium C 14, CHN building, Universitätsstr. 16, Zurich on September 11, 2012, at 16:30 h and September 12, 2012, at 14:15 h and 16:30 h. Opening address by Prof. Erwin Engeler, ETHZ. Further information can be found at http://www.gess.ethz.ch/news/pbl