PL seminar

[David Melski <melski@xxxxxxxxxxx>]

I for one would like to have a PL seminar this semester.  But, we have
some obstacles:  We somehow lost our long-standing reservation for room
2310 at 4:00 on Thursdays.  Mary Vernon now has it, and is planning to
have the performance seminar then.

So, we either need to negotiate with Mary, or find a new time.  I have
2310 reserved for 3-4 on Tuesdays for the PL reading group.  However, Paul
Barford would like the room at that time for the networking seminar (which
is now separate from the OS seminar).  I'm going to tell him he can have
it tomorrow, unless I hear that we really need the room, and no other time
will do.

I'm inclined to have the PL seminar on Tuesdays from 4:15-5:15, after the
networking seminar.

Dave