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.