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

[Jason Gross]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.mit.edu/pipermail/hott-reading-group/attachments/20131203/70b3f002/attachment.htm