Note for presenters -- No VCR will be available. However, an overhead projector and a laptop projector will be available. August 1 8.30 registration + coffee/continental breakfast 9.00 welcome 9.15 - 10.15 invited speaker: Fausto Giunchiglia 10.15 - 10.45 coffee break 10.45 - 12.00 paper session 1 (3 papers) : agent communication [#2, #16, #44] * Amgoud / Parsons, Agent dialogues with conflicting preferences * Aiello / Busetta / Dona / Serafini, Ontological overhearing * Huber/ Kumar/ Cohen/ McGee, A formal semantics of proxy communicative acts 12.00 - 13.30 lunch break 13.30 - 14.50 paper session 2: track NEGOTIATION I (4 papers) [#57,#35,#22,#19] * Faratin/ Klein, Simple, negotiation agents in complex games * Fatima / Wooldridge / Jennings, Optimal negotiation strategies for agents with incomplete information * Sadri / Toni / Torroni, Dialogues for negotiation: agent varieties and dialogue sequences * Belmonte / Conejo / Perez-de-la-Cruz / Triguero, A Stable and Feasible Payoff Division for Coalition Formation in a Class of Task Oriented Domains 14.50 - 15.20 coffee break 15.20 - 16.20 paper session 3: track NEGOTIATION II (3 papers) [#59, #8, #13] * Stone/ Littman,Implicit negotiation in repeated games * Esteva / Padget / Sierra, Formalizing a language for institutions and norms * Brandt / Weiss, Antisocial agents and Vickrey auctions 16.20 - 17.20 panel NEGOTIATION August 2 8.30 registration + coffee/continental breakfast 9.00 - 10.00 invited speaker: Tom Dean 10.00 - 10.30 coffee break 10.30 - 12.10 paper session 4 (4 papers) : agent architectures [#30,#60,#40,#68] * Leite / Alferes / Pereira, Minerva - A dynamic logic programming agent architecture * Kolp / Giorgini/ Mylopoulos, A goal-based organizational perspective on multi-agent architectures * Gmytrasiewicz / Lisetti, Emotions and personality in agent design and modeling * Wagner / Lesser, Evolving real-time local agent control for large-scale MAS 12.10 - 13.30 lunch break 13.30 - 14.45 paper session 5 (3 papers) : resource allocation [#24, #50, #65] * Modi / Jung / Tambe / Shen / Shriniwas / Kulkarni, Dynamic distributed resource allocation: A distributed constraint satisfaction approach * Hunsberger, Generating bids for group-related actions in context of prior commitments * Nuchia/ Sen, Improving optimality of n agent envy-free division 14.45 - 15.00 (small) coffee break 15.00 - 16.15 paper session 6 (3 papers) : MAS theory [#5, #25, #49] * Bonzon, Just-in-time planning for agents with sensing, or: how we can do without the situation calculus * Kinny, The psi calculus: an algebraic agent language * Yolum / Singh, Commitment machines 16.15 - 16.30 (small) coffee break 16.30 - 17.30 panel II: Introduction to RoboCup Rescue August 3 8.30 registration + coffee/continental breakfast 9.00 - 10.15 paper session 7 (3 papers) : trust/safety/norms [#31, #38, #23] * Liu / Williams, Trustworthiness of information sources and information pedigree * Pynadath/ Tambe, Revisiting Asimov's laws: a response to the call to arms * Lomuscio / Sergot, On multi-agent systems specification via deontic logic 10.15 - 10.45 coffee break 10.45 - 12.00 paper session 8: track AGENTS FOR HAND-HELD, MOBILE OR EMBEDDED DEVICES (3 papers) [#4, #12, #32] * Bergenti / Poggi, A FIPA platform for handheld and mobile devices * Laukkanen / Tarkoma / Leinonen, FIPA-OS agent for small-footprint devices * Albuquerque / Hubner / Paula / Sichman / Ramalho, KSACI: A handheld device infrastructure for agents communication 12.00 - 13.30 lunch break 13.30 - 15.10 paper session 9: (4 papers) : agent specification & verification [#6, #34, #64, #58] * Wooldridge / Dunne, The computational complexity of agent verification * Schobbens / Ryan, Agents and roles: refinement in alternating-time temporal logic * Lesperance, On epistemic feasibility of plans in multiagent system specifications * Machado/ Bordini, Running AgentSpeak(L) agents on SIM_AGENT