LAMAS (workshop on Logic and MultiAgent Systems)
University of Otago, 15 and 16 February 2007

The workshop Logic and MultiAgent 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

Call for proposals

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 .

Please submit a one page abstract of your intended presentation, in postscript of pdf, by email to AND The deadline for submission is 1 December 2006. Author notification: 20 December 2006. The call for proposals is now closed.

Invited Speakers

Workshop program

Thursday 15 February Friday 16 February

abstracts of presentations


Participation to the workshop is free but registration is required. All speakers please also register. To register, send an email to Helen Dunn, , +64 3 479 8578. Helen Dunn will also assist those looking for accommodation.


University of Otago
Commerce Building, boardroom (CO4.19/20)
60 Clyde Street
(Corner Clyde St and Union St)
New Zealand

Download the University of Otago Dunedin campus map in PDF format.

Social Event

The Last Night of the Proms concert takes place Friday 16 February, at 7:30 PM, in the Dunedin Townhall. Tickets can be ordered online (follow the link). Stephen Cranefield is principal clarinet in the Southern Sinfonia and plays in this concert.

Workshop Organisers