SSP Group Meeting
Wednesday, October 14th, 12-1pm
Division of Informatics, 80 South Bridge, Room F13
Knowledge Sharing between Logics II
David Robertson
I will talk about the work I was doing with Wamberto, Flavio and Jaume in Brazil.