[PL-sem-jr] Schedule conflict

[Vincent St-Amour]

I've talked to Rachel, and no room in the building is available at
that time. She could find us a room elsewhere on campus, or we could
find another time.

What do you prefer?

Vincent


At Thu, 14 Jan 2010 18:56:28 -0500,
Vincent St-Amour wrote:
> 
> #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
> 
> _______________________________________________
> Pl-sem-jr mailing list
> Pl-sem-jr at lists.ccs.neu.edu
> https://lists.ccs.neu.edu/bin/listinfo/pl-sem-jr