[PL-sem-jr] Schedule conflict

[Vincent St-Amour]

#1 sounds good to me as well.

If no one objects before tomorrow at noon, this will be the new
official PL Jr. schedule.

Vincent


At Thu, 14 Jan 2010 18:51:07 -0500,
Daniel Brown wrote:
> 
> 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
> >>
> >
> 
> _______________________________________________
> Pl-sem-jr mailing list
> Pl-sem-jr at lists.ccs.neu.edu
> https://lists.ccs.neu.edu/bin/listinfo/pl-sem-jr