Hello, I'm safely back in Manchester now (and have bumped into some of you!). I think I mentioned

Hi Colin, I'm mostly out of town until October, hence my addressing the intentions-to-meet of a

Hi everyone, A few people have said they're interested in continuing to meet, but I haven't

Dear Joe, Thanks for sharing. Also, I like to "Eeep !!" Haha, have a nice evening Robert

So happy to hear the group is still on going during the summer!!! I will be around. My internship

Hello, It would be nice to see you all again now Easter is finished, though I know the end of the

How are those connected?

Hi Everyone, Today I think most of us will still be thinking about the factorial exercise. After

Hi, I know Simon Thompson - I'm thinking of asking him to be my external PhD examiner. It's

Hi Everyone, I'm going to add the new members to the list later today. Hopefully we can keep the

Hi, 1) We don't have the room booked; they haven't sent me anything for days. 2) Yep. 3) I

Salman, > I'm going to come to this this year -- no, really! And I'm happy to > do it

Okay - I will be there from 2 but will have to leave by 3 Giles On 8 Jan 2013, at 13:38, Joseph

Ah, sorry. If you're still around now, feel free to pop down. Yegor isn't here and I'm

Thanks for those stimulating suggestions for reading -- I just enjoyed (skim) reading them. I have to

I think that if Giles can't do Tuesday, then we should definitely change the day, but we should

I'd just like to thank everyone who came along today and I hope you all enjoyed it. I promise to

Thanks for this, Salman. I'll get in touch now! Francis

I'll come down Giles On 24 Jul 2012, at 16:56, Joseph Razavi wrote: > Hi, > > I've

I'll be back down south in London. Where'll everyone else be? > On 11/05/12 01:25,

Hi everyone, Next week we'll be moving on to Chapters 9 and 10. That might sound like a lot, but

Hello everybody, This is fun. http://thyer.name/lambda-animator/ Giles

Hi, Yesterday went well thanks :). Indeed, it will be Chapter 7 next week -- and I probably should

Hi everyone, Reading for Tuesday is chapter 5 of the reading material ( http://www.cs.cmu.edu/~rwh/

Hi everyone, Sorry for taking a long time to send this out. Last week we decided to have a re-cap

Hello all, Just wondering if we agreed on some reading / a meeting day/time? I think Tuesday was

Tuesday is generally good for me... just not the next two. So I'll be coming along after that. I

Hi, If you are interested in the Coq lab, please let me know when you are free here: http://www.

Hi, As Giles correctly remembered, today we're sticking with chapter 2, to give people a chance

Hello everybody, I've started doing some of the exercises from the notes - mostly good intentions