[PL-sem-jr] Schedule conflict

[Stephen Chang]

I vote #1. I cant make #2.



On Thu, Jan 14, 2010 at 1:12 PM, Daniel Brown <dbrown at ccs.neu.edu> wrote:
> I remember that Monday was very full, so I don't think that is an
> option. Since many of us are in HOPL, we have joyfully filled our
> weeks this semester with _four_ seminars (hopl, pl, pl-jr, hopl), so
> I'd like to avoid having any two of them on the same day.
>
> Thus, I have two proposals that would keep pl-jr on Thursdays: (1)
> 1:30–3p, between the 211 lab and tea and cookies, and (2) 4–6p /
> 4:30–6:30p, right after tea and cookies.
>
> Option (1) would keep the seminar at a reasonable, afternoon hour, but
> would cut it down from 2 hrs to 1.5 hrs. I think we'd be fine with a
> meager 1.5 hrs and, in the events that we run over, we can try to keep
> it ~15 mins and arrive to tea and cookies slightly late.
>
> Option (2) would maintain the two hour length, but put us into the
> late afternoon and evening. Aaron points out that this might not be
> bad since so many people stay on for happy hour at 7p anyway.
>
>  Dan
>
> On Thu, Jan 14, 2010 at 12:52, J. Ian Johnson <ianj at ccs.neu.edu> wrote:
>> Tuesday 3:30 - 5 is the ACL2 seminar.
>>
>> ----- Original Message -----
>> From: "Jed Davis" <jld at ccs.neu.edu>
>> To: "Vincent St-Amour" <stamourv at ccs.neu.edu>
>> Cc: pl-sem-jr at lists.ccs.neu.edu
>> Sent: Thursday, January 14, 2010 11:37:59 AM GMT -05:00 US/Canada Eastern
>> Subject: Re: [PL-sem-jr] Schedule conflict
>>
>> On Thu, Jan 14, 2010 at 12:35:48AM -0500, Vincent St-Amour wrote:
>>> I suggest sometime tuesday afternoon, is that alright?
>>
>> Dan and I are TAing labs until 3:15, so if by "afternoon" you mean
>> something like 4 PM to 6 PM, then yes.
>>
>> --
>> (let ((C call-with-current-continuation)) (apply (lambda (x y) (x y)) (map
>> ((lambda (r) ((C C) (lambda (s) (r (lambda l (apply (s s) l))))))  (lambda
>> (f) (lambda (l) (if (null? l) C (lambda (k) (display (car l)) ((f (cdr l))
>> (C k)))))))    '((#\J #\d #\D #\v #\s) (#\e #\space #\a #\i #\newline)))))
>>
>> _______________________________________________
>> Pl-sem-jr mailing list
>> Pl-sem-jr at lists.ccs.neu.edu
>> https://lists.ccs.neu.edu/bin/listinfo/pl-sem-jr
>>
>> _______________________________________________
>> Pl-sem-jr mailing list
>> Pl-sem-jr at lists.ccs.neu.edu
>> https://lists.ccs.neu.edu/bin/listinfo/pl-sem-jr
>>
>
> _______________________________________________
> Pl-sem-jr mailing list
> Pl-sem-jr at lists.ccs.neu.edu
> https://lists.ccs.neu.edu/bin/listinfo/pl-sem-jr
>