CFProposal AISB2018

  The Society for the Study of Artificial Intelligence and Simulation for Behaviour (AISB) is soliciting proposals for symposia to be held at the AISB 2018 convention.The longest running convention on Artificial Intelligence, A...


Read More...

Insurance AI Analy...

Insurance AI Analytics Summit, October 9-10, London Join us for Europe’s only AI event dedicated to insurance where 300 attendees will unite from analytics, pricing, marketing, claims and underwriting. You’ll find out how advan...


Read More...

AISB 2018 Convention

  The longest running convention on Artificial Intelligence, AISB 2018 will be held at the University of Liverpool, chaired by Floriana Grasso and Louise Dennis. As in the past years, AISB 2018 will provide a unique forum for p...


Read More...

AI Summit London

     The AI Summit London: The World’s Number One AI Event for Business  Date: 9-10 May 2017 Venue: Business Design Centre, London. The AI Summit is the world’s first and largest/number one conference exhibition dedicated to t...


Read More...

AISB Wired Health

    AISB and WIRED events have partnered to bring together inspirational high-profile speakers. Join hundreds of healthcare, pharmaceutical and technology influencers and leaders at the 4th Annual WIRED Health event, taking pl...


Read More...

Hugh Gene Loebner

  The AISB were sad to learn last week of the passing of philanthropist and inventor Hugh Gene Loebner PhD, who died peacefully in his home in New York at the age of 74.  Hugh was founder and sponsor of The Loebner Prize, an an...


Read More...

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...
0123456789

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