Right I'll go then -- it will spare me the LaTeX-ing I'm otherwise
embroiled in this morning. Should I go with Giles' suggestion of room 2.15
at 14.15 (if it's available)? (Btw, these numbers are suspiciously
similar...)
> It's completely up to you. If you can (conveniently) make it in the
> next hour or so, then it would save me the trip, but if not I'll go then.
> Thanks
> Francis
> On 23/08/12 09:09, Joseph Razavi wrote:
>> Sorry I didn't reply earlier -- I was afk for an extended period of
>> time. I didn't go yesterday -- either one of us could go today, but
>> let me know if it should be me :)
>> Joe
>> On 22 August 2012 18:22, Francis Southern
>> <francis.south...@postgrad.manchester.ac.uk> wrote:
>>> 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?)
Just went to ACSO -- they've got you email. They're having technical
troubles at the moment, so they can't actually book any rooms, but
2.15 is free all day tomorrow. They should send you (Francis) an email
in a little while.
Let me know when plans are as final as they can be, and I'll email a
couple of places where nerds are known to accumulate.
Joe
On 23 August 2012 09:38, <razav...@cs.man.ac.uk> wrote:
> Right I'll go then -- it will spare me the LaTeX-ing I'm otherwise
> embroiled in this morning. Should I go with Giles' suggestion of room 2.15
> at 14.15 (if it's available)? (Btw, these numbers are suspiciously
> similar...)
> Joe
>> It's completely up to you. If you can (conveniently) make it in the
>> next hour or so, then it would save me the trip, but if not I'll go then.
>> Thanks
>> Francis
>> On 23/08/12 09:09, Joseph Razavi wrote:
>>> Sorry I didn't reply earlier -- I was afk for an extended period of
>>> time. I didn't go yesterday -- either one of us could go today, but
>>> let me know if it should be me :)
>>> Joe
>>> On 22 August 2012 18:22, Francis Southern
>>> <francis.south...@postgrad.manchester.ac.uk> wrote:
>>>> 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?)
> Just went to ACSO -- they've got you email. They're having technical
> troubles at the moment, so they can't actually book any rooms, but
> 2.15 is free all day tomorrow. They should send you (Francis) an email
> in a little while.
> Let me know when plans are as final as they can be, and I'll email a
> couple of places where nerds are known to accumulate.
> Joe
> On 23 August 2012 09:38, <razav...@cs.man.ac.uk> wrote:
>> Right I'll go then -- it will spare me the LaTeX-ing I'm otherwise
>> embroiled in this morning. Should I go with Giles' suggestion of room
>> 2.15
>> at 14.15 (if it's available)? (Btw, these numbers are suspiciously
>> similar...)
>> Joe
>>> It's completely up to you. If you can (conveniently) make it in the
>>> next hour or so, then it would save me the trip, but if not I'll go
>>> then.
>>> Thanks
>>> Francis
>>> On 23/08/12 09:09, Joseph Razavi wrote:
>>>> Sorry I didn't reply earlier -- I was afk for an extended period of
>>>> time. I didn't go yesterday -- either one of us could go today, but
>>>> let me know if it should be me :)
>>>> Joe
>>>> On 22 August 2012 18:22, Francis Southern
>>>> <francis.south...@postgrad.manchester.ac.uk> wrote:
>>>>> 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?)
Thanks, Joe! I've received the email and I think it's all as final as possible. So, let's try and get some people there (Kilburn 2.15) tomorrow at 14:15!
> Just went to ACSO -- they've got you email. They're having technical
> troubles at the moment, so they can't actually book any rooms, but
> 2.15 is free all day tomorrow. They should send you (Francis) an email
> in a little while.
> Let me know when plans are as final as they can be, and I'll email a
> couple of places where nerds are known to accumulate.
> Joe
> On 23 August 2012 09:38,<razav...@cs.man.ac.uk> wrote:
>> Right I'll go then -- it will spare me the LaTeX-ing I'm otherwise
>> embroiled in this morning. Should I go with Giles' suggestion of room 2.15
>> at 14.15 (if it's available)? (Btw, these numbers are suspiciously
>> similar...)
>> Joe
>>> It's completely up to you. If you can (conveniently) make it in the
>>> next hour or so, then it would save me the trip, but if not I'll go then.
>>> Thanks
>>> Francis
>>> On 23/08/12 09:09, Joseph Razavi wrote:
>>>> Sorry I didn't reply earlier -- I was afk for an extended period of
>>>> time. I didn't go yesterday -- either one of us could go today, but
>>>> let me know if it should be me :)
>>>> Joe
>>>> On 22 August 2012 18:22, Francis Southern
>>>> <francis.south...@postgrad.manchester.ac.uk> wrote:
>>>>> 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?)
Peter Aczel has asked me whether Robin is staying the night -- how
should I reply? From your previous email is seems like he might be
arriving today -- I'm not sure when he arrives or leaves, and whether
you have any activities planned?
<francis.south...@postgrad.manchester.ac.uk> wrote:
> Thanks, Joe! I've received the email and I think it's all as final as
> possible. So, let's try and get some people there (Kilburn 2.15) tomorrow
> at 14:15!
> Thanks again,
> Francis
> On 23/08/12 10:26, Joseph Razavi wrote:
>> Just went to ACSO -- they've got you email. They're having technical
>> troubles at the moment, so they can't actually book any rooms, but
>> 2.15 is free all day tomorrow. They should send you (Francis) an email
>> in a little while.
>> Let me know when plans are as final as they can be, and I'll email a
>> couple of places where nerds are known to accumulate.
>> Joe
>> On 23 August 2012 09:38,<razav...@cs.man.ac.uk> wrote:
>>> Right I'll go then -- it will spare me the LaTeX-ing I'm otherwise
>>> embroiled in this morning. Should I go with Giles' suggestion of room
>>> 2.15
>>> at 14.15 (if it's available)? (Btw, these numbers are suspiciously
>>> similar...)
>>> Joe
>>>> It's completely up to you. If you can (conveniently) make it in the
>>>> next hour or so, then it would save me the trip, but if not I'll go
>>>> then.
>>>> Thanks
>>>> Francis
>>>> On 23/08/12 09:09, Joseph Razavi wrote:
>>>>> Sorry I didn't reply earlier -- I was afk for an extended period of
>>>>> time. I didn't go yesterday -- either one of us could go today, but
>>>>> let me know if it should be me :)
>>>>> Joe
>>>>> On 22 August 2012 18:22, Francis Southern
>>>>> <francis.south...@postgrad.manchester.ac.uk> wrote:
>>>>>> 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?)
He is arriving at around five today and leaving around six tomorrow evening. I've been too busy panicking about my dissertation to plan anything, but it could be nice to do something this evening...
> Peter Aczel has asked me whether Robin is staying the night -- how
> should I reply? From your previous email is seems like he might be
> arriving today -- I'm not sure when he arrives or leaves, and whether
> you have any activities planned?
> Joe
> On 23 August 2012 10:56, Francis Southern
> <francis.south...@postgrad.manchester.ac.uk> wrote:
>> Thanks, Joe! I've received the email and I think it's all as final as
>> possible. So, let's try and get some people there (Kilburn 2.15) tomorrow
>> at 14:15!
>> Thanks again,
>> Francis
>> On 23/08/12 10:26, Joseph Razavi wrote:
>>> Just went to ACSO -- they've got you email. They're having technical
>>> troubles at the moment, so they can't actually book any rooms, but
>>> 2.15 is free all day tomorrow. They should send you (Francis) an email
>>> in a little while.
>>> Let me know when plans are as final as they can be, and I'll email a
>>> couple of places where nerds are known to accumulate.
>>> Joe
>>> On 23 August 2012 09:38,<razav...@cs.man.ac.uk> wrote:
>>>> Right I'll go then -- it will spare me the LaTeX-ing I'm otherwise
>>>> embroiled in this morning. Should I go with Giles' suggestion of room
>>>> 2.15
>>>> at 14.15 (if it's available)? (Btw, these numbers are suspiciously
>>>> similar...)
>>>> Joe
>>>>> It's completely up to you. If you can (conveniently) make it in the
>>>>> next hour or so, then it would save me the trip, but if not I'll go
>>>>> then.
>>>>> Thanks
>>>>> Francis
>>>>> On 23/08/12 09:09, Joseph Razavi wrote:
>>>>>> Sorry I didn't reply earlier -- I was afk for an extended period of
>>>>>> time. I didn't go yesterday -- either one of us could go today, but
>>>>>> let me know if it should be me :)
>>>>>> Joe
>>>>>> On 22 August 2012 18:22, Francis Southern
>>>>>> <francis.south...@postgrad.manchester.ac.uk> wrote:
>>>>>>> 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?)
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.
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
notice!
--
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.
Btw, I've sent an email to fm-lunch -- but Salman's suggestions are
all probably better. IPerhaps Francis could email them, so that the
people on fm-lunch don't get two emails from the same guy :P
Joe
On 23 August 2012 18:01, Salman Aljammaz <aljam...@cs.man.ac.uk> wrote:
> 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.
> 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
> notice!
> --
> 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.
