[PL-sem-jr] Schedule conflict

[Daniel Brown]

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
>