Logic List Mailing Archive

CfP Logic and Multi-Agent Systems (LAMAS), Otago (New Zealand), 15 and 16 February 2007

**titles and abstracts of keynote speakers are now online**

    (Final) Call For Proposals
    LAMAS (workshop on Logic and Multi-Agent Systems)
    University of Otago, 15 and/or 16 February 2007
    http://www.cs.otago.ac.nz/staffpriv/hans/lamas2.html

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

We solicit one page abstracts presenting advances in any area of relevance
to the workshop themes. We target researchers active in (but not
necessarily restricted to) the topics of specific interests listed above.
We encourage submissions overlapping with more than one of the targeted
areas of interest, to broaden the interest for workshop participants from
different backgrounds -- in particular areas wherein logic AND multiagent
systems overlap. We encourage submission of ongoing research, in order to
ensure lively discussions and in accordance with the 'workshop' character
of this event. A similar LAMAS workshop has been held in 2002, see
http://www.cs.otago.ac.nz/lamas/.

* Abstracts due: 1 December 2006
* Author notification: 20 December 2006
* Workshop: Thursday 15 and/or Friday 16 February 2007

Submission format: Please submit a one page abstract of your intended
presentation, in postscript of pdf, by email to hans@cs.otago.ac.nz AND
scranefield@infoscience.otago.ac.nz. The deadline for submission is 1
December 2006.

Confirmed Invited Speakers:
- Enrico Franconi, topic t.b.a., Free University of Bolzano
- Guido Governatori, topic t.b.a., University of Queensland

Workshop Organisers:
- Stephen Cranefield, Information Science, University of Otago, Email:
  scranefield@infoscience.otago.ac.nz
- Hans van Ditmarsch, Computer Science, University of Otago, Email:
  hans@cs.otago.ac.nz