[Busec] Group meeting with Morten Dahl on Friday 11-12:30
goldbe at cs.bu.edu
Wed Jan 25 15:49:52 EST 2012
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!
Computer Science, Boston University
More information about the Busec