Call for Participation: Agent Communication at AAMAS2010

[Alexander Artikis]

Apologies for cross-posting.

======================

http://users.encs.concordia.ca/~bentahar/AC2010/AC2010.htm

Please find below a more or less final program for the workshop on
Agent Communication. Besides the selected papers, we have an invited
talk by Professor Daniel Vanderveken, and manifestos on agent
communication -- some by the most preeminent names in multiagent
systems.

----------------------------------------------------------------------

8:50AM-9:00 Opening

9:00-10:00 Invited talk, by Daniel Vanderveken

10:00-10:30 COFFEE BREAK

10:30-10:50 Manifesto: Criteria for adequacy of ACLs, by Andrew J. I.
Jones and Alexander Artikis

10:50-11:20 Paper: Constraints among commitments: Regulative
specification of interaction protocols, by Matteo Baldoni, Cristina
Baroglio and Elisa Marengo

11:20-11:40 Manifesto: Community standards for agent communication, by
Munindar P. Singh

11:40-12:00 Manifesto: New challenges for agent communication, by Jamal Bentahar

12:00-13:30 LUNCH BREAK

13:30-14:00 Paper: Verifying conformance of commitment protocols via
symbolic model checking, by Mohamed El-Menshawy, Jamal Bentahar, Wei
Wan and Rachida Dssouli

14:00-14:20 Manifesto: When agents need an ACL to communicate, by Frank Dignum

14:20-14:50 Paper: Protocol refinement: Formalization and verification
via model checking, by Scott Gerard and Munindar P. Singh

14:50-15:30 COFFEE BREAK

15:30-15:50 Manifesto: Agents, autonomy, and multiagent systems, by
Amit K. Chopra

15:50-16:20 Paper: The logic of conversation : From speech acts to the
logic of games, by Michel A. Paquette

16:20-16:50 Paper: Counter-proposal: A multi-agent negotiation
protocol for resolving resource contention in open control systems, by
Jan Corfixen Sorensen and Bo Norregaard Jorgensen

17:50-17:10 Wrap up, open discussion