Group <manchester-type-theory-reading-group@googlegroups.com>
Received: by 10.43.43.201 with SMTP id ud9mr5055845icb.1.1345656241313;
        Wed, 22 Aug 2012 10:24:01 -0700 (PDT)
X-BeenThere: manchester-type-theory-reading-group@googlegroups.com
Received: by 10.231.82.148 with SMTP id b20ls2597477ibl.9.gmail; Wed, 22 Aug
 2012 10:24:00 -0700 (PDT)
Received: by 10.50.195.165 with SMTP id if5mr1541871igc.2.1345656239994;
        Wed, 22 Aug 2012 10:23:59 -0700 (PDT)
Received: by 10.50.195.165 with SMTP id if5mr1541869igc.2.1345656239981;
        Wed, 22 Aug 2012 10:23:59 -0700 (PDT)
Return-Path: <francis.south...@postgrad.manchester.ac.uk>
Received: from ch1outboundpool.messaging.microsoft.com (ch1ehsobe005.messaging.microsoft.com. [216.32.181.185])
        by gmr-mx.google.com with ESMTPS id m5si2963617igo.2.2012.08.22.10.23.59
        (version=TLSv1/SSLv3 cipher=OTHER);
        Wed, 22 Aug 2012 10:23:59 -0700 (PDT)
Received-SPF: pass (google.com: domain of francis.south...@postgrad.manchester.ac.uk designates 216.32.181.185 as permitted sender) client-ip=216.32.181.185;
Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of francis.south...@postgrad.manchester.ac.uk designates 216.32.181.185 as permitted sender) smtp.mail=francis.south...@postgrad.manchester.ac.uk
Received: from mail166-ch1-R.bigfish.com (10.43.68.252) by
 CH1EHSOBE017.bigfish.com (10.43.70.67) with Microsoft SMTP Server id
 14.1.225.23; Wed, 22 Aug 2012 17:23:59 +0000
Received: from mail166-ch1 (localhost [127.0.0.1])	by
 mail166-ch1-R.bigfish.com (Postfix) with ESMTP id A8D73604E0	for
 <manchester-type-theory-reading-group@googlegroups.com>; Wed, 22 Aug 2012
 17:23:59 +0000 (UTC)
X-Forefront-Antispam-Report: CIP:157.55.9.135;KIP:(null);UIP:(null);IPV:NLI;H:DB3PRD0104HT022.eurprd01.prod.exchangelabs.com;RD:none;EFVD:NLI
X-SpamScore: -4
X-BigFish: PS-4(zzbb2dI98dI9371I1432I11fbIzz1202hzzz2fh2a8h668h839h8e2h8e3hf0ah107ahbe9i)
Received-SPF: pass (mail166-ch1: 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=DB3PRD0104HT022.eurprd01.prod.exchangelabs.com ;angelabs.com ;
Received: from mail166-ch1 (localhost.localdomain [127.0.0.1]) by mail166-ch1
 (MessageSwitch) id 1345656237447882_28689; Wed, 22 Aug 2012 17:23:57 +0000
 (UTC)
Received: from CH1EHSMHS008.bigfish.com (snatpool2.int.messaging.microsoft.com
 [10.43.68.234])	by mail166-ch1.bigfish.com (Postfix) with ESMTP id
 6A72A2400AF	for <manchester-type-theory-reading-group@googlegroups.com>; Wed,
 22 Aug 2012 17:23:57 +0000 (UTC)
Received: from DB3PRD0104HT022.eurprd01.prod.exchangelabs.com (157.55.9.135)
 by CH1EHSMHS008.bigfish.com (10.43.70.8) with Microsoft SMTP Server (TLS) id
 14.1.225.23; Wed, 22 Aug 2012 17:23:57 +0000
Received: from [192.168.1.4] (92.13.74.22) by pod51002.outlook.com
 (10.4.156.52) with Microsoft SMTP Server (TLS) id 14.15.108.4; Wed, 22 Aug
 2012 17:23:56 +0000
Message-ID: <50351556.2090...@postgrad.manchester.ac.uk>
Date: Wed, 22 Aug 2012 18:22:30 +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>	<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>	<5034EB9A.4010...@postgrad.manchester.ac.uk> <CAJPsiJCtnDYptb-nP3PP6kxx8b7rny8ZdNFp5m2-cscsPB+...@mail.gmail.com>
In-Reply-To: <CAJPsiJCtnDYptb-nP3PP6kxx8b7rny8ZdNFp5m2-cscsPB+...@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

Erm, I didn't hear anything.  I don't know whether you went or not, but 
if not I'll try my best to go first thing in the morning...


On 22/08/12 15:27, Joseph Razavi wrote:
> Just now? We should give it a few minutes and see if they reply.
>
> On 22 August 2012 15:24, Francis Southern
> <francis.south...@postgrad.manchester.ac.uk>  wrote:
>    
>> 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?)
>>>>>
>>>>>            
>>>>
>>>>
>>>>          
>>>
>>>        
>>
>>
>>      
>