[PL-sem-jr] meeting outcome

Daniel Brown dbrown at ccs.neu.edu
Mon Sep 21 11:23:38 EDT 2009


On Mon, Sep 21, 2009 at 11:21, David Van Horn <dvanhorn at ccs.neu.edu> wrote:
> Daniel Brown wrote:
>>
>> On Mon, Sep 21, 2009 at 11:08, Vincent St-Amour <stamourv at ccs.neu.edu>
>> wrote:
>>>
>>> At Mon, 21 Sep 2009 10:54:02 -0400,
>>> Daniel Brown wrote:
>>>>>
>>>>> I can give an overview of flow analysis if people are interested.  (Let
>>>>> me know soon, because I have to make arrangements with Olin -- I have a
>>>>> teaching conflict with the scheduled time.)
>>>>
>>>> You're scheduled to give a talk on flow analysis later this semester.
>>>> Do you want to find another topic and hear David speak today?
>>>
>>> Sure, I can talk about something else.
>>
>> Ok. Go for it, David. Let us know if Olin can cover you.
>>
>> You might drop into the labs to gather people since this is our first
>> meeting. I can't make it to lab in time anymore so I'll have to miss
>> it, and Aaron is also gone today, but you should still be able to find
>> a good crowd.
>
> Well, given the limited attendance, conflicts, and short notice, I don't
> think it's worth it.
>
> It's too bad PL Jr. is going to kick off on poor footing.

Yeah, ok, that's fair. Thanks for giving it a shot.

In that case, we'll hear Ian talk next week about the Boyer-Moore
family of theorem provers. See everyone then!

 Dan



More information about the Pl-sem-jr mailing list