SSP Group Meeting Tuesday, 26th February, 11am-12pm
Division of Informatics, 80 South Bridge, Room F13
Open Problems in Agent Systems
David Roberston
I shall present some personal thoughts on the way agent systems research
has developed. In particular, I shall suggest some open problems where
people with a talent for applications of formal methods could make a
contribution.