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


Erden in AI roundtab...

On Friday 4th September, philosopher and AISB member Dr Yasemin J Erden, participated in an AI roundtable at Second Home, hosted by Index Ventures and SwiftKey.   Joining her on the panel were colleagues from academia and indu...


AISB Convention 2016

The AISB Convention is an annual conference covering the range of AI and Cognitive Science, organised by the Society for the Study of Artificial Intelligence and Simulation of Behaviour. The 2016 Convention will be held at the Uni...


Bishop and AI news

Stephen Hawking thinks computers may surpass human intelligence and take over the world. This view is based on the ideology that all aspects of human mentality will eventually be realised by a program running on a suitable compu...


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


Al-Rifaie on BBC

AISB Committee member and Research Fellow at Goldsmiths, University of London, Dr Mohammad Majid al-Rifaie was interviewed by the BBC (in Farsi) along with his colleague Mohammad Ali Javaheri Javid on the 6 November 2014. He was a...


AISB YouTube Channel

The AISB has launched a YouTube channel: http://www.youtube.com/user/AISBTube (http://www.youtube.com/user/AISBTube). The channel currently holds a number of videos from the AISB 2010 Convention. Videos include the AISB round t...



AISB event Bulletin Item

CALL FOR PAPERS: Automated Reasoning Workshop, 2-4 April 2012, Manchester (U.K.)


ARW 2012, The University of Manchester

   The 19th Automated Reasoning Workshop (ARW 2012) will be held
   at the University of Manchester from 2 to 4 April 2012. This
   year the workshop will be collocated with the 28th British
   Colloquium for Theoretical Computer Science.

   The workshop will provide an informal forum for the automated
   reasoning community to discuss recent work, new ideas and
   applications, and current trends. It aims to bring together
   researchers from all areas of automated reasoning in order to
   foster links and facilitate cross-fertilisation of ideas among
   researchers from various disciplines, from theoreticians, from
   implementers and from users of automated reasoning methodologies.

   Topics include but are not limited to:
     o Theorem proving in classical and non-classical logics
     o Interactive theorem proving, logical frameworks, proof
       assistants, proof planning
     o Reasoning methods
           Saturation-based, instantiation-based, tableau, SAT
           Equational reasoning, unification
           Constraint satisfaction
           Decision procedures, SMT
           Combining reasoning systems
           Non-monotonic reasoning, commonsense reasoning,
           Abduction, induction
           Model checking, model generation, explanation
     o Formal methods to specifying, deriving, transforming and
       verifying computer systems, requirements and software
     o Logic-based knowledge representation and reasoning:
           Ontology engineering and reasoning
 	  Domain specific reasoning (spatial, temporal, epistemic,
           agents, etc)
     o Logic and functional programming, deductive databases
     o Implementation issues and empirical results, demos
     o Practical experiences and applications of automated reasoning

   The workshop will be highly interactive, giving all attendees the
   opportunity to participate. It will contain sessions for
   displaying posters and presenting system demonstrations, and open
   discussion sessions organised around specific topics.

   Reiner Haehnle       Technische Universitaet Darmstadt
   Daniel Kroening      University of Oxford

   We invite the submission of camera-ready, two-page extended
   abstracts about recent work, work in progress, or a system
   description. The abstract can describe work that has already
   been published elsewhere. The main objective of the abstracts
   is to spread information about recent work in our community,
   and we expect to accept most on-topic submissions, but we may
   ask for revisions.

   To prepare your submission, please use the ARW LaTeX style file
   provided from the workshop website. Each submission should
   include the names and complete addresses (including email) of
   all authors. Correspondence will be sent to the first author,
   unless otherwise indicated.

   Submissions should be sent in PDF format to
   ARWorkshop2012@gmail.com using *ARW12Submission* as subject of
   the email. For the final versions we require all sources (tex
   file and any input files).

   Abstracts will be published in informal workshop notes and will
   be made available on the internet.

   Each workshop participant will be allocated a 5-10 minute slot
   (depending on time constraints), for a short talk to introduce
   their research. Each participant will also be allocated space
   in a poster session, where they can further present and discuss
   their work. Please prepare posters for the event.

   We expect to have a limited number of grants available to PhD
   students who wish to attend ARW 2012. Details will be published
   on the workshop website.

   12  Mar 2012 Abstract submission deadline
   15  Mar 2012 Notification of acceptance/rejection
   22  Mar 2012 Final version due
   2-4 Apr 2012 Workshop

   Alexander Bolotov
   Simon Colton
   David Crocker
   Louise Dennis
   Clare Dixon
   Jacques Fleuriot
   Ullrich Hustadt
   Mateja Jamnik
   Ekaterina Komendantskaya
   Alice Miller
   Renate Schmidt
   Volker Sorge

   Renate Schmidt (Chair)
   Mohammad Khodadadi
   Fabio Papacchini
   Dmitry Tishkovsky

   Please address any queries about the workshop to the organisers
   at ARWorkshop2012@gmail.com.