Meeting Day

[Joseph Razavi]

Hi All,

We should really pick a meeting day for the group. We should avoid
Thursday because it's likely to be ManUP day (Giles, are you any more
certain about this now than before?).

Perhaps Monday would be good -- we could spend next week advertising
(including hopefull at ManUP).

I don't really want to do this by doodle poll since there are so few
of us, so just email your vote/thoughts.

Joe

---------- Forwarded message ----------
From: Giles Reger <oneando...@gmail.com>
Date: Mon, 21 Jan 2013 22:33:38 +0000
Subject: Re: Type Theory
To: Joseph Razavi <jabr...@gmail.com>

It's almost definitely going to be Thursday

On 21 January 2013 21:35, Joseph Razavi <jabr...@gmail.com> wrote:

> Giles,
> Yeah, a poll is probably a good idea. Do we know what day ManUP is
> going to meet this semester?
>
> Joe
>
> On 21/01/2013, Giles Reger <oneando...@gmail.com> wrote:
> > Hi Joe,
> >
> > Sounds great! How do you think we should choose a day/time? I've just
> found
> > out my demo allocation which gives me a great desire to do Monday, but we
> > should do a poll or something.
> >
> > Giles
> >
> > On 21 January 2013 13:17, Joseph Razavi <jabr...@gmail.com> wrote:
> >
> >> Hi Giles,
> >>
> >> I should really have put some minutes up on the list or something.
> >> I've been doing a bit of behind the scenes stuff -- I've got Graham
> >> Gough to try to update Coq, and I've played with the exercises from
> >> the course a little (actually, they seem to work with the current Coq
> >> so far...). I'm also working on getting use of the guest linux
> >> accounts in case we get any participants from outside the school.
> >>
> >> I haven't looked at rooms yet -- I think we need to choose a time first.
> >>
> >> Joe
> >>
> >> On 20/01/2013, Giles Reger <oneando...@gmail.com> wrote:
> >> > Hi - did you have any more thoughts on this? I can't remember where we
> >> left
> >> > it.
> >> >
> >> > Giles
> >> >
> >>
> >
>

[regerg]

We have decided on Thursday for ManUp based on nobody disagreeing and a
few people agreeing.

I would vote for Monday as I have to be in Manchester on this day due to
demonstrating.

Giles

On Fri, 25 Jan 2013 15:21:21 +0000, Joseph Razavi <jabr...@gmail.com>

[Salman Aljammaz]

I'm going to come to this this year -- no, really! And I'm happy to
do it any day of the week.

Just a suggestion; maybe try lunchtime meetings? I feel this has been
mentioned before but I can't remember what happened afterwards. I
suspect plenty of people are itching to be somewhere else at 5. Plus,
a group meeting during the day is more likely to get exposure from
general passersby.

Then again, my voice should only count as ½ or ¼ a vote since that's a
bit closer to my relative reliability!

> --
>
>

[raza...@cs.man.ac.uk]

Salman,

> I'm going to come to this this year -- no, really! And I'm happy to
> do it any day of the week.

Hooray!

> Just a suggestion; maybe try lunchtime meetings? I feel this has been
> mentioned before but I can't remember what happened afterwards. I
> suspect plenty of people are itching to be somewhere else at 5. Plus,
> a group meeting during the day is more likely to get exposure from
> general passersby.
>
> Then again, my voice should only count as � or � a vote since that's a
> bit closer to my relative reliability!
>

The difficulty with lunchtime is that everybody takes it at a different
time of day. I think a sensible possibility is to go for 5-6 for
concreteness, but then move it or extend it once we know who is interested
in coming.

Joe