Sorry I've not been very helpful over the past couple of weeks. I've
been experiencing some... downtime.
An email should be sent asap. The usual channel is to ask a member of
staff to send it to one of the mailing lists, but since it's a bit
late to do that we'll have to do it ourselves. People have sent emails
asking for flatshares, help with C++, and advertising seasonal foods.
I don't think this will score very high on the junk spectrum.
These should get to most people:
Don't forget to prefix the title with [SEMINAR] or [GUEST TALK]. I've
copied your original email and filled in the gaps in the draft below.
You or Joe or Giles or anyone who's more integral to this group than
me should send it. Modify it as you wish.
The Type Theory Reading Group has organised to have a guest talk by
Robin Adams (formerly a student of Manchester's own Peter Aczel, now a
lecturer at Royal Holloway, University of London.)
The talk will be about:
“...the crazier parts of the Curry-Howard isomorphism; the parts that
(in my opinion) are not well understood yet:
* control operators correspond to classical logic
* metavariables correspond to modal logic
* and one other that I'll keep a secret until the day of the talk.”
This will be on Friday 24/8/2012, 2:15pm, room 2.15 in the Kilburn
building. Yes that's tomorrow!
The talk is open for all, regardless of your CS background. I hope
that this sounds exciting to you! See you there & sorry for the late
Regarding dinner tonight, I can suggest Petra on Upper Brook Street.
It's near the university, they serve omnivores, and they don't require
reservations. There's also plenty of other options in the city centre.