AI Europe 2016

  Partnership between AISB and AI Europe 2016: Next December 5th and 6th in London, AI Europe will bring together the European AI eco-system by gathering new tools and future technologies appearing in professional fields for th...


Read More...

AISB convention 2017

  In the run up to AISB2017 convention (http://aisb2017.cs.bath.ac.uk/index.html), I've asked Joanna Bryson, from the organising team, to answer few questions about the convention and what comes with it. Mohammad Majid...


Read More...

Harold Cohen

Harold Cohen, tireless computer art pioneer dies at 87   Harold Cohen at the Tate (1983) Aaron image in background   Harold Cohen died at 87 in his studio on 27th April 2016 in Encintias California, USA.The first time I hear...


Read More...

Dancing with Pixies?...

At TEDx Tottenham, London Mark Bishop (the former chair of the Society) demonstrates that if the ongoing EU flagship science project - the 1.6 billion dollar "Human Brain Project” - ultimately succeeds in understanding all as...


Read More...

Computerised Minds. ...

A video sponsored by the society discusses Searle's Chinese Room Argument (CRA) and the heated debates surrounding it. In this video, which is accessible to the general public and those with interest in AI, Olly's Philosophy Tube ...


Read More...

Connection Science

All individual members of The Society for the Study of Artificial Intelligence and Simulation of Behaviour have a personal subscription to the Taylor Francis journal Connection Science as part of their membership. How to Acce...


Read More...
012345

Notice

AISB event Bulletin Item

LAST CFP: Workshop on Logics for Intelligent Agents and Multi-Agent Systems (WLIAMAS 2008)

http://www.comp.mq.edu.au/conferences/wliamas08/

LAST CFP: Workshop on Logics for Intelligent Agents and Multi-Agent Systems (WLIAMAS 2008)
9 December 2008, Sydney, NSW, Australia

Held in Conjunction with The 2008 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT'08)

Workshop website: http://www.comp.mq.edu.au/conferences/wliamas08/
Main Conference website: http://datamining.it.uts.edu.au/conferences/iat08/

*** NEWS FLASH: Journal of Applied Logic (by Elsevier) special issue ***

Workshop Aims:
==============
In order to develop theories to specify and reason about various aspects of intelligent agents and multi-agent systems, many researchers have proposed the use of modal logics such as logics of beliefs, knowledge, norms and time. This workshop will focus on latest developments in formal approaches to intelligent agents and multi-agent systems based on modal logics and their applications on various aspects of agency. 
This workshop in particular aims at bringing together researchers from the fields of modal logics, theoretical computer science and multi-agent systems as well as researchers who are interested in building agent-based systems that could draw inspiration from various forms of modal logics. Therefore, at this workshop, we expect to create a lively discussion and exchange medium for developers and practitioners of agent-based systems and researchers who are interested in formal models of agency.

Workshop Organisers:
====================
Mehmet Orgun (Macquarie University)
Guido Governatori (The University of Queensland)
Chuchang Liu (DSTO)
Mark Reynolds (The University of Western Australia )
Abdul Sattar (Griffith University)

Program Committee:
==================
Thomas gotnes (Bergen University College)
Louise Dennis (University of Liverpool)
Hans van Ditmarsch (University of Otago)
Tim French (The University of Western Australia )
Manolis Gergatsoulis (Ionian University)
Aditya Ghose (University of Wollongong)
Guido Governatori (The University of Queensland)
James Harland (RMIT University)
Hong Lin (University of Houston-Downtown)
Chuchang Liu (DSTO)
John Lloyd (Australian National University)
Michael Maher (NICTA) Brendan Patrick Mahony (DSTO)
Abhaya Nayak (Macquarie University)
Mehmet Orgun (Macquarie University)
Vineet Padmanabhan (University of Hyderabad)
Maurice Pagnucco (The University of New South Wales)
Mark Reynolds (The University of Western Australia )
Antonino Rotolo (University of Bologna)
Abdul Sattar (Griffith University)
Rolf Schwitter (Macquarie University)
Liz Sonenberg (University of Melbourne)
Kaile Su (Peking University)
Leon van der Torre (University of Luxembourg)
Tarmo Uustalu (Tallinn University of Technology) Dongmo Zhang (University of Western Sydney)
Yan Zhang (University of Western Sydney)

Topics of Interest:
===================
Suggested, but not exclusive, topics of interest for the workshop are:

   * logics for multi-agent systems
   * formal methods for verification of multi-agent systems
   * formal approaches to communication, coordination and negotiation
   * security, privacy and trust issues in multi-agent systems
   * resource-bounded reasoning in agent-based systems
   * models for context-awareness and mobility
   * decision formation / automation in multi-agent enviornments
   * models for dynamic agent-based systems 
Publication:
============
The Workshop proceedings will be published by IEEE Computer Society Press, to be indexed by EI. Further details will be available in due course.

Paper Submission:
=================
Note that IAT’08 will accept ONLY on-line submissions, containing PDF versions. Please use the Submission Form  on the IAT’08 website to submit your paper.

URL: http://datamining.it.uts.edu.au/conferences/iat08/?page_id=6

Full papers should be limited to a maximum of 4 pages in length in double column format as per IEEE conference proceedings style. 
Registration:
=============
At least one author of every accepted paper should register for the WI / IAT-2008 conference using  the Registration Form.

URL: https://earth.azu.com/~ws11245/cyberchair/wiiat08/scripts/register.php?subarea=S 
There is no separate workshop registration fee (i.e., only one conference registration covers everything).

Important Dates:
================

   * Full paper submission due: 30 July, 2008
   * Notification of acceptance: 3 September, 2008
   * Camera-ready copy due: 30 September, 2008
   * Workshop date: 9 December, 2008
   * Conference date: 10-12 December, 2008

Post-Workshop Activity:
=======================
The authors of selected papers will be invited to submit an extended and revised version of their paper for possible publication in a special issue of the Journal of Applied Logic (Elsevier) (URL: http://www.elsevier.com/locate/jal).
The papers will go through a rigorous review process.

Further details are available from the workshop organisers: URL: http://www.comp.mq.edu.au/conferences/wliamas08/JAL_CFP_July21.pdf