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, Manchester (U.K.), 26 June - 1 July 2012, UK


IJCAR 2012 - 6th International Joint Conference on Automated Reasoning, Manchester, UK

Important Dates (all in 2012):

   Abstract submission  January 23    Final version due        April 16
   Paper submission     January 30    Conference dates       June 26-29
   Notification           March 26    Satellite events   June 30-July 1

IJCAR is the premier international joint conference on all topics in automated reasoning. IJCAR 
2012, the 6th International Joint Conference on Automated Reasoning, is a merger of leading events 
in automated reasoning: CADE (International Conference on Automated Deduction), FroCoS 
(International Symposium on Frontiers of Combining Systems), FTP (International Workshop on 
First-order Theorem Proving), and TABLEAUX (International Conference on Automated Reasoning with 
Analytic Tableaux and Related Methods). Previous editions of IJCAR took place in Siena (2001), 
Cork (2004), Seattle (2006), Sydney (2008) and Edinburgh (2010), cf. http://www.ijcar.org/.

IJCAR 2012 is held as part of the Alan Turing Year 2012 just after The Alan Turing Centenary 
Conference in Manchester.

Scope: IJCAR 2012 invites submissions related to all aspects of automated reasoning, including 
foundations, implementations, and applications. Original research papers and descriptions of 
working automated deduction systems are solicited.

Logics of interest include: propositional, first-order, classical, equational, higher-order, 
non-classical, constructive, modal, temporal, many-valued, substructural, description, metalogics,
type theory, and set theory.  Methods of interest include: tableaux, sequent calculi, resolution, 
model-elimination, connection method, inverse method, paramodulation, term rewriting, induction, 
unification, constraint solving, decision procedures, model generation, model checking, semantic 
guidance, interactive theorem proving, logical frameworks, AI-related methods for deductive systems,
proof presentation, efficient datastructures and indexing, integration of computer algebra systems 
and automated theorem provers, and combination of logics or decision procedures.

Applications of interest include: verification, formal methods, program analysis and synthesis, 
computer mathematics, declarative programming, deductive databases, knowledge representation, 
natural language processing, linguistics, robotics, and planning.

Submission: Submission is electronic through


Authors are strongly encouraged to use LaTeX and the Springer llncs class file, which can be 
obtained from http://www.springer.de/comp/lncs/authors.html.  The page limit is 15 pages for 
full papers and 7 pages for system descriptions.  All papers will be evaluated according to 
originality, significance, technical quality, and readability. Submitted papers must be original 
and not submitted for publication elsewhere. For more details concerning submission see the 
conference web site. The proceedings of IJCAR 2012 will be published by Springer-Verlag in the 
LNAI/LNCS series.

Student Travel Awards: Travel awards will be available to enable selected students to attend the
conference. Details will be available in early 2012.

Further Information: For further and up-to-date information about IJCAR 2012 visit 

Program Chairs:

   Bernhard Gramlich (TU Wien)
   Dale Miller (INRIA Saclay -- Ile-de-France)
   Ulrike Sattler (Univ. of Manchester)