Rafael Bordini visiting

Posted by chris on February 27, 2008

Today, Rafael Bordini is visiting the group and will be giving a seminar on, A Verifiable Approach to Programming Multi-Agent Systems. He will be talking at 12.30 in Wolfson.