natasha alechina saxcsnottacuk apologies multiple postings last call papers extended deadline workshop formal models resourcebounded agents fmrba05 utrecht university netherlands july 2526 2005 httpwwwagentscsnottacukeventsfmrba05 colocated fourth international joint conference autonomous agents multiagent systems aamas2005 httpwwwaamas2005nl aims scope much work formal logical modelling agents assumes idealised rational agents unrestricted memory unbounded time available reasoning unrealistic since agents ascribed capabilities possess eg ability derive theorem classical propositional logic recently growing interest formal models resourcebounded agents work presented agents logics conferences workshops ijcai aamas eumas published journals journal autonomous agents multiagent systems emerging community lacked forum discussion aim workshop bring together researchers working models resourcebounded agents assess state art identify open problems topics interest include general frameworks modelling resourcebounded agents models resourcebounded agent architectures models resourcebounded agent capabilities possible topics include limited modelling frameworks epistemic logics resourcebounded reasoners models resourcebounded agent architectures resourcebounded bdi agents resourcebounded mas architectures models agent capabilities resourcebounded planning resourcebounded belief revision resourceboundedness games limited recall workshop interest agent researchers logicians involved specifying implementing verifying agents generally activity making formal models relevant work practical agents relevance agent developers important dates paper submission deadline 28 march 2005 extended deadline notification acceptance 18 april 2005 cameraready manuscript 29 may 2005 workshop held 25 26 july 2005 submission instructions authors invited send original research papers pdf format rtfpv62csnottacuk 28th march 2005 paper must springer lncs format see httpwwwspringerdecomplncsauthorshtml 15 pages believe work presented interest general agents community ensure wider dissemination plan publish selected papers workshop possibly special issue journal knowledge rationality action see httpwwwcsclivacukwiebepubsdocumentskrapdf organizing committee natasha alechina university nottingham uk yves lesperance york university canada brian logan university nottingham uk luciano serafini itcirst italy programme committee thomas agotnes university bergen norway matteo baldoni university torino italy marcelo finger university sao paulo brazil michael fisher university liverpool uk chiara ghidini itcirst trento italy wiebe van der hoek university liverpool uk david israel sri international usa gerhard lakemeyer aachen university technology germany johnjules meyer utrecht university netherlands donald perlis university maryland us murray shanahan imperial college uk carles sierra iiiacsic cerdanyola catalonia spain renata wasserman university sao paulo brazil message checked viruses contents attachment may still contain software viruses could damage computer system advised perform checks email communications university nottingham may monitored permitted uk legislation wed 06 aug 2008 064108 0000 uai extended deadline workshop formal models resource bounded agents