| 8:50 AM - 9:00: Opening |
| 9:00 - 10:00: Invited Talk (Chair: TBA) |
|
| 10.00 - 10.30: Coffee Break |
| 10.30 - 12.00: Session 1 (Chair: TBA) |
-
10:30 - 1 0:50 Manifesto: Criteria for
Adequacy of ACLs
Alexander Artikis and Andrew J. I. Jones
-
10:50 - 11:20 Paper: Constraints among
Commitments: Regulative Specification of
Interaction Protocols
Matteo Baldoni, Cristina Baroglio and Elisa Marengo
-
11:20 - 11:40 Manifesto: Community
Standards for Agent Communication
Munindar P. Singh
-
11:40 - 12:00 Manifesto: New
Challenges for Agent Communication
Jamal Bentahar
|
| 12.00 - 13.30: Lunch Break |
| 13.30 - 14.50: Session 2 (Chair: TBA) |
-
13:30 - 1 4:00 Paper: Verifying
Conformance of Commitment Protocols via Symbolic Model Checking
Mohamed El-Menshawy, Jamal Bentahar, Wei Wan and Rachida Dssouli
-
14:00 - 14:20 Manifesto: When Agents
Need an ACL to Communicate
Frank Dignum
-
14:20 - 14:50 Paper: Protocol
Refinement: Formalization and Verification
Scott Gerard and Munindar P. Singh
|
| 14.50 - 15.30: Coffee Break |
| 15.30 - 17.10: Session
3 (Chair: TBA) |
-
15:30 - 1 5:50 Manifesto Agents,
Autonomy, and Multiagent Systems
Amit K. Chopra
-
15:50 - 16:20 Paper: The logic of
conversation : From speech acts to the logic of games
Michel A. Paquette
-
16:20 - 16:50 Paper: Counter-proposal:
A multi-agent negotiation protocol for resolving resource contention in open
control systems
Jan Corfixen Sorensen and Bo Norregaard Jorgensen
-
16:50 - 17:10 Wrap up, open discussion
|
