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


Read More...

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


Read More...

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


Read More...

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


Read More...

Lighthill Debates

The Lighthill debates from 1973 are now available on YouTube. You need to a flashplayer enabled browser to view this YouTube video  


Read More...
01234

Notice

AISB opportunities Bulletin Item

CALL FOR PAPERS: Special issue on formalised reasoning

http://www.cs.bham.ac.uk/research/projects/formare/pubs/mcs-doform/

Special issue of 'Mathematics in Computer Science'

   ENABLING DOMAIN EXPERTS TO USE FORMALISED REASONING
        http://www.cs.bham.ac.uk/research/projects/formare/pubs/mcs-doform/

            Guest editors: Manfred Kerber, Christoph Lange, Colin Rowat

We invite high-quality original research papers to a special issue of
the Birkhuser/Springer journal Mathematics in Computer Science on the
use of systems based on a formal, explicit, machine-verifiable
representation of knowledge in application domains such as economics,
engineering, health care, education. Examples include:

* problems from application domains, which could benefit from better
   verification and knowledge management facilities, and

* knowledge management and verification tools, which domain experts
   can use without a computer science background. (Read more about our
   topics of interest)

For further examples, please see the Symposium on Enabling Domain
Experts to use Formalised Reasoning
(http://www.cs.bham.ac.uk/research/projects/formare/events/aisb2013/)
held at the annual convention of the AISB (Society for the Study of
Artificial Intelligence and Simulation of Behaviour) in April 2013.

     Submission: 31 October 2013
     Notification: 15 December 2013
     Revised version due: 15 January 2014
     Final version due: 15 February 2014
     Publication (expected): April 2014

Topics of interest include but are not limited to:

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

   - Example 1 (economics): auctions, value-at-risk models, 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 background?

   -  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 human-computer interaction aspects of mathematical
wikis;
   -  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.

Submissions should be approximately 20 pages long, should follow
publishers' instructions and should be submitted via EasyChair.

Potential contributors may contact the guest editors
(doformmcs2014@easychair.org) to discuss the suitability of topics and
papers.

-- 
Christoph Lange, School of Computer Science, University of Birmingham
http://cs.bham.ac.uk/~langec/, Skype duke4701

? Intelligent Computer Mathematics, 8?12 July, Bath, UK.
   Early registration deadline 23 June; http://cicm-conference.org/2013/
? Knowledge and Experience Management, 7-9 October, Bamberg, Germany.
   Submission until 1 July; http://minf.uni-bamberg.de/lwa2013/cfp/fgwm/
? Modular Ontologies (WoMO), 15 September, Corunna, Spain.
   Submission until 5 July; http://www.iaoa.org/womo/2013.html