Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

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

Date: 15-16 February 2007
Location: Otago, New Zealand
Deadline: 1 December 2006

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.