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


Rose wins the Loebne...

After 2 hours of judging at Bletchley Park, 'Rose' by Bruce Wilcox was declared the winner of the Loebner Prize 2014, held in conjunction with the AISB.  The event was well attended, film live by Sky News and the special guest jud...


AISB Convention 2015

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 2015 Convention will be held at the Uni...


Yasemin Erden on BBC

AISB Committee member, and Philosophy Programme Director and Lecturer, Dr Yasemin J. Erden interviewed for the BBC on 29 October 2013. Speaking on the Today programme for BBC Radio 4, as well as the Business Report for BBC world N...


Mark Bishop on BBC ...

Mark Bishop, Chair of the Study of Artificial Intelligence and the Simulation of Behaviour, appeared on Newsnight to discuss the ethics of ‘killer robots’. He was approached to give his view on a report raising questions on the et...


AISB YouTube Channel

The AISB has launched a YouTube channel: ( The channel currently holds a number of videos from the AISB 2010 Convention. Videos include the AISB round t...



AISB event Bulletin Item

FIRST CALL FOR PAPERS:Frontiers of Combining Systems, Nancy, FRANCE

FroCoS 2013

   Submission Deadlines: 15 Apr 2013 (Abs.), 22 Apr 2013 (Paper)

   The 9th International Symposium on Frontiers of Combining
   Systems will be held in Nancy, France, from 18-20 September
   2013. The aim of the conference is to publish and promote
   progress in research areas requiring the development of general
   techniques and methods for the combination and integration of
   special, formally defined systems, as well as for the analysis
   and modularization of complex systems.

   FroCos 2013 will be co-located with the 22nd International
   Conference on Automated Reasoning with Analytic Tableaux and
   Related Methods (TABLEAUX 2013) held 16-19 September 2013. A
   joint invited speaker and joint session is planned.

   In various areas of computer science, such as logic, computation,
   program development and verification, artificial intelligence,
   knowledge representation, and automated reasoning, there is an
   obvious need for using specialized formalisms and inference
   mechanisms for special tasks. To be usable in practice, these
   specialized systems must be combined with each other, and must be
   integrated into general purpose systems. This has led in many
   research areas to the development of general techniques and
   methods for the combination and integration of special, formally
   defined systems, as well as for the analysis and modularization
   of complex systems.

   The International Symposium on Frontiers of Combining Systems
   (FroCoS) traditionally focusses on these types of research
   questions and activities. Like its predecessors, FroCoS 2013
   seeks to offer a common forum for research in the general area
   of combination, modularization and integration of systems, with
   emphasis on logic-based ones, and of their practical use.

   Typical topics of interest include (but are not limited to):
     * combinations of logics such as combined higher-order,
       first-order, temporal, modal, or other non-classical logics;
     * combinations and modularity in ontologies;
     * combination of decision procedures, of satisfiability
       procedures, of constraint solving techniques or of logical
     * combination and integration methods in SAT and SMT solving;
     * combinations and modularity in term rewriting;
     * integration of equational and other theories into deductive
     * combination of deduction systems and computer algebra;
     * integration of data structures into constraint logic
       programming and deduction;
     * hybrid methods for deduction, resolution and constraint
     * hybrid systems in knowledge representation and natural
       language semantics;
     * combined logics for distributed and multi-agent systems;
     * logical aspects of combining and modularizing programs and

   It is planned that the proceedings of FroCoS 2013 will be
   published in the Springer LNCS/LNAI Series.

   The program committee seeks high-quality submissions describing
   original work, written and to be presented in English, not
   substantially overlapping with published or simultaneously
   submitted work to a journal or conference with archival
   proceedings. Selection criteria include accuracy and originality
   of ideas, clarity and significance of results, and quality of
   presentation. The page limit in Springer LNCS style is 16 pages.

   Papers must be edited in LaTeX using the llncs style and must be
   submitted electronically as PDF files via the EasyChair system:

   For each accepted paper, at least one author is required to
   attend the symposium to present the work. Prospective authors
   must register a title and an abstract a week before the paper
   submission deadline. Further information about paper submissions
   will be available at the conference website.

   15 Apr 2013     Abstract submission
   22 Apr 2013     Paper submission
    6 Jun 2013     Notification of paper decisions
    4 Jul 2013     Camera-ready papers due
   18-20 Sep 2013  FroCoS Conference

   Carlos Areces, FaMAF - Universidad Nacional de Cordoba, Argentina
   Alessandro Artale, Free University of Bolzano-Bozen, Italy
   Franz Baader, TU Dresden, Germany
   Clark Barrett, New York University, USA
   Peter Baumgartner, National ICT Australia, Canberra, Australia
   Christoph Benzmueller, Free University Berlin, Germany
   Jasmin Christian Blanchette, TU Muenchen, Germany
   Thomas Bolander, Technical University of Denmark
   Clare Dixon, University of Liverpool, UK
   Francois Fages, INRIA Rocquencourt, France
   Pascal Fontaine, LORIA, INRIA, University of Lorraine, France
   Didier Galmiche, LORIA, University of Lorraine, France
   Vijay Ganesh, University of Waterloo, Canada
   Silvio Ghilardi, Universita degli Studi di Milano, Italy
   Guido Governatori, National ICT Australia, Queensland, Australia
   Bernhard Gramlich, Technische Universitaet Wien, Austria
   Katsumi Inoue, National Institute of Informatics, Japan
   Sava Krstic, Intel, USA
   Alessio Lomuscio, Imperial College London, UK
   Till Mossakowski, DFKI & University of Bremen, Germany
   Silvio Ranise, Fondazione Bruno Kessler, Italy
   Christophe Ringeissen, LORIA, INRIA, France
   Philipp Ruemmer, Uppsala University, Sweden
   Renate Schmidt, The University of Manchester, UK
   Roberto Sebastiani, DISI, University of Trento, Italy
   Viorica Sofronie-Stokkermans, University Koblenz-Landau, Germany
   Andrzej Szalas, Linkoepings Universitet, Sweden & University of Warsaw,
   Rene Thiemann, University of Innsbruck, Austria
   Ashish Tiwari, SRI, USA
   Josef Urban, Radboud University, The Netherlands
   Christoph Weidenbach, Max-Planck-Institut fuer Informatik, Germany
   Frank Wolter, University of Liverpool, UK

   Christophe Ringeissen, LORIA, INRIA, France

   Pascal Fontaine, LORIA, INRIA, University of Lorraine, France
   Renate A. Schmidt, The University of Manchester, UK