<div dir="ltr">It's very likely that I'll just pick whichever date doodle tells me is most popular. Currently, that's Thursdays 4-5, but it may change.<div><br></div><div>Additionally, if you won't be around for IAP, you should leave a comment on the doodle poll to that effect, similar to Darij's comment there.<br>
<div><br></div><div>-Jason</div></div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Tue, Dec 3, 2013 at 5:37 PM, Darij Grinberg <span dir="ltr"><<a href="mailto:darijgrinberg@gmail.com" target="_blank">darijgrinberg@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">oops, meant Wed&Fri 14:00-18:00<br>
<div class="HOEnZb"><div class="h5"><br>
On Tue, Dec 3, 2013 at 5:36 PM, Darij Grinberg <<a href="mailto:darijgrinberg@gmail.com">darijgrinberg@gmail.com</a>> wrote:<br>
> Hi Jason,<br>
><br>
> Thursday 3-4 is not very good for me :/ what about 4-5?<br>
><br>
> I now am pretty sure (since yesterday...) that I'm busy<br>
> Tue&Thur 9:00-16:00,<br>
> Wed&Fri 15:30-18:00.<br>
> I've just now entered these dates into the doodle.<br>
><br>
> Best regards,<br>
> Darij<br>
><br>
> On Tue, Dec 3, 2013 at 5:10 PM, Jason Gross <<a href="mailto:jasongross9@gmail.com">jasongross9@gmail.com</a>> wrote:<br>
>> Hi,<br>
>><br>
>> I plan to close the doodle poll (<a href="http://doodle.com/gka44qv5tvzg3wqb" target="_blank">http://doodle.com/gka44qv5tvzg3wqb</a>) and<br>
>> pick a day and time this Thursday, at around 3pm. We have 9 doodle<br>
>> responses and 29 members of the mailing list, so if you plan on attending,<br>
>> please respond to the doodle poll before then (or at least email me letting<br>
>> me know that you plan on coming if the day I pick fits your schedule).<br>
>><br>
>> Currently, the most popular times are Thursdays 3-5, so if no-one else<br>
>> responds before this Thursday, I'll probably pick Thursdays 3-4.<br>
>><br>
>> -Jason<br>
>><br>
>> _______________________________________________<br>
>> HoTT-reading-group mailing list<br>
>> <a href="mailto:HoTT-reading-group@mit.edu">HoTT-reading-group@mit.edu</a><br>
>> <a href="http://mailman.mit.edu/mailman/listinfo/hott-reading-group" target="_blank">http://mailman.mit.edu/mailman/listinfo/hott-reading-group</a><br>
>><br>
</div></div></blockquote></div><br></div>