[Busec] Group meeting with Morten Dahl on Friday 11-12:30

Sharon Goldberg goldbe at cs.bu.edu
Wed Jan 25 15:49:52 EST 2012

Hi Group,

We have a visitor, Morten Dahl, from Aarhus University in DK visiting
us this week. Morten is going to give us an informal whiteboard talk
on Friday about symbolic analysis.  As usual, lunch, will be provided.
 We'll meet in the usual MCS137 at 11AM.

I'll send out the abstract shortly.   Hope everyone can make it, and
sorry for the short notice!


Sharon Goldberg
Computer Science, Boston University

More information about the Busec mailing list