[HoTT-reading-group] Reminder: Doodle Poll closes this Thursday

[Darij Grinberg]

Hi Jason,

Thursday 3-4 is not very good for me :/ what about 4-5?

I now am pretty sure (since yesterday...) that I'm busy
Tue&Thur 9:00-16:00,
Wed&Fri 15:30-18:00.
I've just now entered these dates into the doodle.

  Best regards,
  Darij

On Tue, Dec 3, 2013 at 5:10 PM, Jason Gross <jasongross9 at gmail.com> wrote:
> Hi,
>
> I plan to close the doodle poll (http://doodle.com/gka44qv5tvzg3wqb) and
> pick a day and time this Thursday, at around 3pm.  We have 9 doodle
> responses and 29 members of the mailing list, so if you plan on attending,
> please respond to the doodle poll before then (or at least email me letting
> me know that you plan on coming if the day I pick fits your schedule).
>
> Currently, the most popular times are Thursdays 3-5, so if no-one else
> responds before this Thursday, I'll probably pick Thursdays 3-4.
>
> -Jason
>
> _______________________________________________
> HoTT-reading-group mailing list
> HoTT-reading-group at mit.edu
> http://mailman.mit.edu/mailman/listinfo/hott-reading-group
>