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

AISB Convention 2014

AISB-50: a convention commemorating both 50 years since the founding of the society for the study of Artificial Intelligence and the Simulation of Behaviour (the AISB) and sixty years since the death of Alan Turing, founding fathe...


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

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

http://www.dfki.de/~serge/admmk09

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
		   http://www.dfki.de/~serge/admmk09

     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
  documents
* 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 GUIDELINES

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
(http://www.cc4cm.org/mcs/), 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
appreciated.


IMPORTANT DATES:

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

USEFUL ADDRESSES

Special issue website:              http://www.dfki.de/~serge/admmk09
Submission webpage:  
                   http://www.easychair.org/conferences/?conf=admmk09
Guest editors' email address:                   admmk09@easychair.org
Journal MCS webpage:                         http://www.cc4cm.org/mcs   
MKM'08 conference website:   http://events.cs.bham.ac.uk/cicm08/mkm08
DML'08 workshop website:  http://www.fi.muni.cz/~sojka/dml-2008.xhtml