Account Options

  1. Sign in
The old Google Groups will be going away soon, but your browser is incompatible with the new version.
Google Groups Home
« Groups Home
Message from discussion Ping
The group you are posting to is a Usenet group. Messages posted to this group will make your email address visible to anyone on the Internet.
Your reply message has not been sent.
Your post was successful
 
From:
To:
Cc:
Followup To:
Add Cc | Add Followup-to | Edit Subject
Subject:
Validation:
For verification purposes please type the characters you see in the picture below or the numbers you hear by clicking the accessibility icon. Listen and type the numbers you hear
 
gelna...@cs.man.ac.uk  
View profile  
 More options Jun 8 2012, 8:14 am
From: gelna...@cs.man.ac.uk
Date: Fri, 8 Jun 2012 13:14:57 +0100
Local: Fri, Jun 8 2012 8:14 am
Subject: Re: [Type Theory] Ping
I am, unfortunately moved back down south, and have secured employment in
London. Therefore I shall, unfortunately not be around for future
sessions.

It has been fun, and a pleasure to have met you all.

> Dear typists,

> Exams are now certainly over; what's the plan?

> I'd like to resume regular meetings doing something, I don't really mind
> what, just because it would give my life some kind of structure now that
> I've got nothing to do other than despair^H^H^H^H^H^H^H work on my
> dissertation.  The same Tuesday afternoon would be good for me.

> In other news, I've been offered a place at the CDT, so long as I get a
> distinction.  Which I've been told I should get, in theory...

> Anyway, I look forward to meeting up with you soon,
> Francis


 
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.