Please note that this newsitem has been archived, and may contain outdated information or links.
15-16 February 2007, Logic and Multi-Agent Systems (LAMAS), Otago, New Zealand
The workshop Logic and Multi-Agent Systems aims to provide a forum to foster lively and fruitful discussion on issues involved in logic and multiagent systems.
Particular topics of interest are:
1. Specification, verification, and synthesis of
multiagent systems
2. Description logics
3. Relation between temporal and dynamic logics
4. Automated reasoning and model checking
5. Security protocols
6. Models of peer-to-peer networking
7. Intelligent databases (with multiagent aspects)
8. Models of electronic institutions and contracts
For more information, see http://www.cs.otago.ac.nz/staffpriv/hans/lamas2.html
We solicit one page abstracts presenting advances in any area of relevance to the workshop themes. Submission deadline is 1 December 2006.
Please note that this newsitem has been archived, and may contain outdated information or links.