Group <manchester-type-theory-reading-group@googlegroups.com>
Received: by 10.42.62.202 with SMTP id z10mr8501721ich.27.1345645561308;
        Wed, 22 Aug 2012 07:26:01 -0700 (PDT)
X-BeenThere: manchester-type-theory-reading-group@googlegroups.com
Received: by 10.50.160.202 with SMTP id xm10ls2169243igb.3.gmail; Wed, 22 Aug
 2012 07:26:00 -0700 (PDT)
Received: by 10.50.100.168 with SMTP id ez8mr1264962igb.1.1345645560835;
        Wed, 22 Aug 2012 07:26:00 -0700 (PDT)
Received: by 10.50.100.168 with SMTP id ez8mr1264961igb.1.1345645560818;
        Wed, 22 Aug 2012 07:26:00 -0700 (PDT)
Return-Path: <francis.south...@postgrad.manchester.ac.uk>
Received: from tx2outboundpool.messaging.microsoft.com (tx2ehsobe002.messaging.microsoft.com. [65.55.88.12])
        by gmr-mx.google.com with ESMTPS id xd1si5770701igb.1.2012.08.22.07.26.00
        (version=TLSv1/SSLv3 cipher=OTHER);
        Wed, 22 Aug 2012 07:26:00 -0700 (PDT)
Received-SPF: pass (google.com: domain of francis.south...@postgrad.manchester.ac.uk designates 65.55.88.12 as permitted sender) client-ip=65.55.88.12;
Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of francis.south...@postgrad.manchester.ac.uk designates 65.55.88.12 as permitted sender) smtp.mail=francis.south...@postgrad.manchester.ac.uk
Received: from mail217-tx2-R.bigfish.com (10.9.14.243) by
 TX2EHSOBE004.bigfish.com (10.9.40.24) with Microsoft SMTP Server id
 14.1.225.23; Wed, 22 Aug 2012 14:25:59 +0000
Received: from mail217-tx2 (localhost [127.0.0.1])	by
 mail217-tx2-R.bigfish.com (Postfix) with ESMTP id A229894034C	for
 <manchester-type-theory-reading-group@googlegroups.com>; Wed, 22 Aug 2012
 14:25:59 +0000 (UTC)
X-Forefront-Antispam-Report: CIP:157.55.9.135;KIP:(null);UIP:(null);IPV:NLI;H:DB3PRD0104HT008.eurprd01.prod.exchangelabs.com;RD:none;EFVD:NLI
X-SpamScore: -4
X-BigFish: PS-4(zzbb2dI98dI9371I1432I11fbIzz1202hzzz2fh2a8h668h839h8e2h8e3hd25hf0ah107ahbe9i)
Received-SPF: pass (mail217-tx2: domain of postgrad.manchester.ac.uk designates 157.55.9.135 as permitted sender) client-ip=157.55.9.135; envelope-from=francis.south...@postgrad.manchester.ac.uk; helo=DB3PRD0104HT008.eurprd01.prod.exchangelabs.com ;angelabs.com ;
Received: from mail217-tx2 (localhost.localdomain [127.0.0.1]) by mail217-tx2
 (MessageSwitch) id 1345645557686951_30077; Wed, 22 Aug 2012 14:25:57 +0000
 (UTC)
Received: from TX2EHSMHS026.bigfish.com (unknown [10.9.14.248])	by
 mail217-tx2.bigfish.com (Postfix) with ESMTP id 9C46DC0047	for
 <manchester-type-theory-reading-group@googlegroups.com>; Wed, 22 Aug 2012
 14:25:57 +0000 (UTC)
Received: from DB3PRD0104HT008.eurprd01.prod.exchangelabs.com (157.55.9.135)
 by TX2EHSMHS026.bigfish.com (10.9.99.126) with Microsoft SMTP Server (TLS) id
 14.1.225.23; Wed, 22 Aug 2012 14:25:56 +0000
Received: from [192.168.1.4] (92.13.74.22) by pod51002.outlook.com
 (10.3.186.102) with Microsoft SMTP Server (TLS) id 14.15.108.4; Wed, 22 Aug
 2012 14:25:54 +0000
Message-ID: <5034EB9A.4010...@postgrad.manchester.ac.uk>
Date: Wed, 22 Aug 2012 15:24:26 +0100
From: Francis Southern <francis.south...@postgrad.manchester.ac.uk>
User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.9.1.16) Gecko/20120726 Icedove/3.0.11
MIME-Version: 1.0
To: <manchester-type-theory-reading-group@googlegroups.com>
Subject: Re: [Type Theory] A visiting speaker!
References: <50195D52.2040...@postgrad.manchester.ac.uk>	<CAOXShFZXSW4rs4pMn3A-EO=fv=F2m-fR-wqfuBz8LgX1110...@mail.gmail.com>	<501B8E0D.60...@postgrad.manchester.ac.uk>	<47c5e7bc53242890bd63bbc6389fe...@cs.man.ac.uk>	<5022D416.1070...@postgrad.manchester.ac.uk>	<CAAbC7kkjaC_UMvRvX4R6-PsSGRJP645yG1u382woxDU04Bn...@mail.gmail.com>	<502ED215.6070...@postgrad.manchester.ac.uk>	<CAHSQfysagOFMPBa30LeQ_e-5xK2=gkjVHMhLZkpoOCOGp_7...@mail.gmail.com>	<502FE446.7080...@postgrad.manchester.ac.uk>	<CAAbC7k=3uQGK2jeDzT3DqFnA275OaY2+b4_og-ns-Pokdjf...@mail.gmail.com>	<503376EB.7030...@postgrad.manchester.ac.uk>	<CAAbC7k=yfr0iRthb=Rc2jb=V=fv1pP5YeuuZ4+2xyoWOdwj...@mail.gmail.com>	<50337A10.9040...@postgrad.manchester.ac.uk>	<CAJPsiJAmfWAEYtXRbA8Tov=apAZ7i9BDN5tEqXZv1hMqC2Y...@mail.gmail.com>	<5034E4FA.4020...@postgrad.manchester.ac.uk> <CAJPsiJBhw7JX7o+YUNWYRkOuKkobsxAehRiaBZG1ErdVf0Q...@mail.gmail.com>
In-Reply-To: <CAJPsiJBhw7JX7o+YUNWYRkOuKkobsxAehRiaBZG1ErdVf0Q...@mail.gmail.com>
Content-Type: text/plain; charset="ISO-8859-1"; format=flowed
Content-Transfer-Encoding: 7bit
X-Originating-IP: [92.13.74.22]
Return-Path: francis.south...@postgrad.manchester.ac.uk
X-OriginatorOrg: postgrad.manchester.ac.uk

I have also sent an email to a...@cs.etc now, but if you could pop in 
that would be appreciated.

Francis


On 22/08/12 15:22, Joseph Razavi wrote:
> I could pop into acso for you? We should really do something to let
> people know this is going on. Anyone know which mailing list to spam
> to get staff in this department?
>
> I wouldn't worry too much about your organizing skills -- it's not
> usually necessary to do everything yourself until you really do know
> your way around the system.
>
> Joe
>
> On 22 August 2012 14:56, Francis Southern
> <francis.south...@postgrad.manchester.ac.uk>  wrote:
>    
>> Eep, no, it is this Friday, as in he day after tomorrow.  And I'm
>> demonstrating my complete inability to organise my way out of a paper bag!
>> I didn't make it into uni yesterday, but I emailed rooms@cs this morning and
>> received three automated out-of-office replies, however, I don't know if
>> that means _everyone's_ out of the office or not...
>>
>> I'm really sorry about all this, but hopefully someone will turn up on
>> Friday.
>>
>> Francis
>>
>>
>> On 22/08/12 14:42, Joseph Razavi wrote:
>>
>> Is it this Friday? Yegor said so but I thought it was in September. I guess
>> Ian won't be around -- he probably would have gone. Otherwise I bumped into
>> Aczel today -- I said I'd pass on the details as I found them out. He says
>> another type theorist, Gambino, is in town this year.
>>
>> Joe
>>
>> On Aug 21, 2012 1:09 PM, "Francis Southern"
>> <francis.south...@postgrad.manchester.ac.uk>  wrote:
>>      
>>> On 21/08/12 13:05, Giles Reger wrote:
>>>
>>> Okay,
>>>
>>> We can request a booking by emailing  ro...@cs.man.ac.uk but as the person
>>> that email goes to is in ACSO this can also be achieved by going directly to
>>> their office, which is room 2.127 which you get to by going up the main
>>> stairs to the second floor and turning left and then you'll find them in the
>>> first room on the left after going through the doors.
>>>
>>> If we don't have any other constraints on the time (any constraints
>>> people?) we could go for something mid afternoon (the time when most people
>>> will be in?) say 14.15 ? - the same time as the school seminars.
>>>
>>> In terms of the room we get (which will obviously depend on what's
>>> available) I would suggest 2.15 - it's a good size for a small meeting (I
>>> don't know if our usual room is back to normal yet).
>>>
>>>
>>> That sounds excellent to me, so if no one objects I'll go into ACSO and
>>> ask them about it this afternoon (before the meeting, if there's a meeting?)
>>>        
>>
>>      
>