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


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


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


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


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


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


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


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


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



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