Call for Participati...

The AISB Convention is an annual conference organised by the ( The 2017 Convention will be held at the University of Bath, UK, with t...


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


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: AISB Symposium on Enabling Domain Experts to useFormalised Reasoning (Do-Form), April 2 - 5th 2013, Exeter, UK

Symposium at the annual convention of the AISB (Society for the Study of Artificial Intelligence and Simulation of Behaviour;

* Utku nver (market design and matching problems)
* Peter Cramton (auctions)
* Neels Vosloo (finance markets regulation)


This symposium is motivated by the long-term VISION of making information
systems dependable.  In the past even mis-represented units of
measurements caused fatal ENGINEERING disasters.  In ECONOMICS, the
subtlety of issues involved in good auction design may have led to low
revenues in auctions of public goods such as the 3G radio spectra.
Similarly, banks' value-at-risk (VaR) models  the leading method of
financial risk measurement  are too large and change too quickly to be
thoroughly vetted by hand, the current state of the art; in the London
Whale incident of 2012, JP Morgan claimed that its exposures were mn
under one of its VaR models, and 9 under another one.  Verifying a
model's properties requires formally specifying them; for VaR models, any
work would have to start with this most basic step, as regulators' current
desiderata are subjective and ambiguous.

We believe that these problems can be addressed by representing the
knowledge underlying such models and mechanisms in a formal, explicit,
machine-verifiable way.  Contemporary computer science offers a wide
choice of knowledge representation languages well supported by
verification tools.  Such tools have been successfully applied, e.g., for
verifying software that controls commuter rail or payment systems (cf. the
symposium homepage for further background).  Still, DOMAIN EXPERTS without
a strong computer science background find it challenging to choose the
right tools and to use them.  This symposium aims at investigating ways to
support them.  Some problems can be addressed now, others will bring new
challenges to computer science.

General TOPICS of interest include:

  * for DOMAIN EXPERTS: what problems in application domains could benefit
    from better verification and knowledge management facilities?
    Possible fields include:

    * Example 1 (economics):
      auctions, VaR, trading algorithms, market design
    * Example 2 (engineering):
      system interoperability, manufacturing processes, product classification

  * for COMPUTER SCIENTISTS: how to provide the right knowledge management
    and verification tools to domain experts without a computer science

    * wikis and blogs for informal, semantic, semiformal, and formal
      mathematical knowledge;
    * general techniques and tools for online collaborative mathematics;
    * tools for collaboratively producing, presenting, publishing, and
      interacting with online mathematics;
    * automation and computer-human interaction aspects of mathematical
    * ontologies and knowledge bases designed to support knowledge
      management and verification in application domains;
    * practical experiences, usability aspects, feasibility studies;
    * evaluation of existing tools and experiments;
    * requirements, user scenarios and goals.

We particularly invite submissions that address the problems or that apply
the tools presented in the papers submitted for stage 1 (see "submission"
THE SYMPOSIUM is designed to bring domain experts and formalisers into
close and fruitful contact with each other: domain experts will be able to
present their fields and problems to formalisers; formalisers will be
exposed to new and challenging problem areas. We will combine talks and
hands-on sessions to ensure close interaction among participants from both

World-class economists will offer dedicated HANDS-ON SESSIONS on the
following topics:

* Market design and matching problems (Utku nver, Boston College): These
  include matching students to schools, interns to hospitals, and kidney
  donors to recipients.  See the documentation for the 2012 Nobel Memorial
  Prize in Economic Sciences for more background information
* Auctions (Peter Cramton, University of Maryland): Peter works on
  auctions for ICANN (the knock out domain name auctions), Ofcom UK (4G
  spectrum auction), the UK Department of the Environment and Climate
  Change, and others.
* Finance (Neels Vosloo, Financial Services Authority UK): It is currently
  impossible for regulators to properly inspect either risk management
  models, or algorithmic trading platforms.  To what extent can techniques
  from mechanised reasoning automate some of the inspection process?


We solicit submissions on any of the TOPICS outlined initially but prefer
submissions that specifically address topics identified in the earlier
submission Stage 1.  In Stage 1 we had solicited

* from DOMAIN EXPERTS descriptions of "nails": canonical models and
  problems in their domain that might benefit from better verification and
  knowledge management facilities.  Descriptions should focus on aspects
  of these models that domain users find particularly problematic, and
  suspect might be aided by formalisation tools

* from COMPUTER SCIENTISTS descriptions of "hammers": formalisation,
  verification and knowledge management tools, with an emphasis on how
  they could be applied in a concrete real-world setting, or tailored to
  such application domains.

Commented versions of these submissions are now online at
A tool whose description is submitted to Stage 2 could, e.g., be motivated
with a Stage 1 problem, and sketch how the tool could, or will, be applied
in this domain.  Each submission will be refereed by three PC members on
average.  Submissions will be judged based on the PC's views of the
likelihood of contributing to a better matching of hammers (formalisation
and verification tools) to nails (domain problems).

At this stage we accept PDF submissions in any layout but count 1200 words
as one page for fair comparison.  We invite research and position papers,
as well as tool and system descriptions, from 3 to 10 pages.  Besides PDFs
we invite the submission of formalised knowledge representations with
human-readable annotations.

To submit a paper, please go to the Do-Form EasyChair page
( and follow the
instructions for Stage 2 there.


Final versions should be prepared in LaTeX according to the AISB
formatting guidelines linked from the symposium homepage.  For the final
version, non-PDF submissions should be accompanied by a PDF abstract of 2
to 4 pages.  Electronic proceedings (with an ISBN) will be made available
to the convention delegates on a memory stick, and on the AISB website.

Given a sufficient number of high-quality submissions, we will invite
authors to submit revised and extended versions to a SPECIAL ISSUE of a
relevant JOURNAL.  (E.g., co-chair Manfred Kerber is on the editorial
board of Mathematics in Computer Science.)


   * Submission (Stage 2): 14 January 2013
   * Notification: 11 February 2013
   * Final versions due: 4 March 2013
   * Symposium: 2-3 April 2013 (most likely)
   * AISB Convention: 2-5 April 2013


    1. Bill Andersen, Highfleet, US
    2. Rob Arthan, Lemma 1, Reading, UK
    3. Christoph Benzmller, Free University of Berlin, Germany
    4. Peter Cramton, University of Maryland, US
    5. James Davenport, University of Bath, UK
    6. Michael Grninger, University of Toronto, Canada
    7. Manfred Kerber, University of Birmingham, UK (co-chair)
    8. Michael Kohlhase, Jacobs University Bremen, Germany
    9. Christoph Lange, University of Birmingham, UK (co-chair)
   10. Till Mossakowski, University of Bremen, Germany
   11. Colin Rowat, University of Birmingham, UK (co-chair)
   12. Todd Schneider, Raytheon, US
   13. Richard Steinberg, London School of Economics, UK
   14. Geoff Sutcliffe, University of Miami, US
   15. Theodore L Turocy, Centre for Behavioural and Experimental Social
       Science, University of East Anglia, UK
   16. Makarius Wenzel, University of Paris Sud, France
   17. Wolfgang Windsteiger, RISC / JKU Linz, Austria