AISB convention 2017

  In the run up to AISB2017 convention, I've asked Joanna Bryson, from the organising team, to answer few questions about the convention and what comes with it. Mohammad Majid al-Rifaie ( Tu...


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


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


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


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



AISB event Bulletin Item

CALL FOR PAPERS: CLIMA XV - Special Session on Logics for Agreement Technologies, Aug 18-19, 2014, Prague, CZECH REPUBLIC

Affiliated with ECAI 2014

Proceedings to  be published as  a LNCS/LNAI volume (available  at the
Selected and extended papers will also be published in a Special Issue
of the Journal of Logic and Computation.
A growing  number of  computer systems are  based on  software agents,
which act on behalf of  humans. These agents are becoming increasingly
responsible for complex tasks delegated to them, interacting with each
other in sophisticated ways so  as to forge agreements in the interest
of human users.  The CLIMA XV Special Session  on Logics for Agreement
Technologies  aims at  expanding the  state-of-the-art  on logic-based
approaches and technologies to  enable different aspects of many-party
agreements and to support the lifecycle of such systems.
We invite submissions on logic-based approaches, computational models,
methodologies  and  frameworks  for  software agents  and  multi-agent
systems, addressing (but not limited to) the following topics:
* Negotiation
* Formal argumentation
* Software agent organisations
* Electronic institutions
* Trust and reputation
* Norms and normative systems
* Social computing
We  welcome and  encourage the  submission of  high  quality, original
papers, which have not been accepted for publication nor are currently
under review for another journal or conference.
Papers  are  submitted  to   the  special  session  by  following  the
submission instructions for CLIMA:
The  special session on  Logics for  Agreement Technologies  is chosen
under "category" in Easychair.
LNCS Proceedings:  All the accepted papers  (including special session
papers) will be published by Springer  as a volume in Lecture Notes in
Computer Science, and will be available in time for the workshop.
Selected and extended  papers will be published in  a Special Issue of
the Journal of Logic and Computation.
* Paper Submission: 11 May 2014
* Notification: 9 June 2014
* Camera Ready: 16 June 2014
* Workshop: 18-19 August 2014
Special Session Organiser:
* Wamberto Vasconcelos, University of Aberdeen, UK