[PL-sem-jr] Schedule conflict

Daniel Brown dbrown at ccs.neu.edu
Thu Jan 14 18:51:07 EST 2010


I vote #1.

On Thu, Jan 14, 2010 at 15:14, Stephen Chang <stchang at ccs.neu.edu> wrote:
> 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
>>
>



More information about the Pl-sem-jr mailing list