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 miscellaneous Bulletin Item

CFP: Special Issue Authoring, Digitalization and Management of Mathematical Knowledge

Due to multiple requests the deadline for submissions is extended
to **26. January 2008**.

			   Call for Papers
		   Mathematics in Computer Science
			   Special Issue on

	       Authoring, Digitalization and Management
		      of Mathematical Knowledge

     Guest editors: Serge Autexier, Petr Sojka, Masakazu Suzuki

This  special  issue   is  devoted  to  the  topics   of  the  seventh
International Conference on Mathematical Knowledge Management (MKM'08)
and the workshop on  Digital Mathematics Libraries (DML'08) which took
place in July 2008 in Birmingham, UK. Topics of interest include

* Representations of mathematical knowledge
* Repositories of formalized mathematics
* Mathematical digital libraries
* Diagrammatic representations
* Multi-modal representations
* Mathematical OCR
* Deduction systems
* Mathematical assistants, tutoring and assessment systems
* Authoring languages and tools
* MathML, OpenMath, and other mathematical content standards
* Web presentation of mathematics
* Data mining, discovery, theory exploration
* Collaboration tools for mathematics
* Search, indexing and retrieval of mathematical documents
* Ranking of mathematical papers, similarity of mathematical
* Mathematical document compression
* Processing of scanned images
* Algorithms for crosslinking of bibliographical items, intext
  citations search
* Mathematical document classification, MSC 2010
* Mathematical text mining
* Inference of semantics for semi-formalized mathematics
* Mathematical documents metadata
* Long term archiving, data migration
* Mathematical publishing with long term archival goal
* Handwritten formulae recognition
* Recognition and search of mathematical diagrams
* E-learning of mathematics

Potential contributors  may also contact the guest  editors to discuss
suitability of topics and papers.


Submission  to  this special  issue  is  completely  open.  We  expect
original  articles (typically 15-30  pages) that  present high-quality
contributions that  have not been previously published  in an archival
venue and  that must not  be simultaneously submitted  for publication
elsewhere.   Submissions  must  comply  with  MCS'  author  guidelines
(, be  written in English,  and be formatted
using LaTeX.  All submitted papers  will be refereed according  to the
usual MCS refereeing process.

Submission  to  this  special  issue  is  hereby  encouraged  via  the
EasyChair  submission system  (see URL  below).  To  aid  planning and
organization, an early  e-mail of intent to submit  a paper (including
author  information, and  a  tentative title  and  abstract) would  be


Submission deadline (extended):                      26 January 2009 
Notification of acceptance/rejection:                   6 March 2009        
Submission of revised versions:                        17 April 2009  
Final notification of acceptance/rejection:               8 May 2009 
Submission of camera-ready copies:                       29 May 2009


Special issue website:    
Submission webpage:  
Guest editors' email address:         
Journal MCS webpage:                  
MKM'08 conference website:
DML'08 workshop website: