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 al-Rifaie (https://twitter.com/mohmaj) Tu...


Read More...

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


Read More...

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


Read More...

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


Read More...

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


Read More...
01234

Notice

AISB event Bulletin Item

CALL FOR PAPERS: OpenMath, 10 Jul 2013, Bath, UK

http://www.cicm-conference.org/2013/cicm.php?event=openmath

25th OpenMath Workshop
Bath, UK
10 July 2013
co-located with CICM 2013
Submission deadline 7 June

http://www.cicm-conference.org/2013/cicm.php?event=openmath

OBJECTIVES

OpenMath (http://www.openmath.org) is a language for exchanging
mathematical formulae across applications (such as computer algebra
systems).  From 2010 its importance has increased in that OpenMath
Content Dictionaries were adopted as a foundation of the MathML 3 W3C
recommendation (http://www.w3.org/TR/MathML), the standard for
mathematical formulae on the Web.

Topics we expect to see at the workshop include

   * Feature Requests (Standard Enhancement Proposals) and Discussions
     for going beyond OpenMath 2;
   * Further convergence of OpenMath and MathML 3;
   * Reasoning with OpenMath;
   * Software using or processing OpenMath;
   * OpenMath on the Semantic Web;
   * New OpenMath Content Dictionaries;

Contributions can be either full research papers, Standard Enhancement
Proposals, or a description of new Content Dictionaries, particularly
ones that are suggested for formal adoption by the OpenMath Society.

IMPORTANT DATES (all times are "anywhere on earth")

   * 7 June: Submission
   * 20 June: Notification of acceptance or rejection
   * 5 July: Final revised papers due
   * 10 July: Workshop

SUBMISSIONS

Submission is via EasyChair
(http://www.easychair.org/conferences?conf=om20131).  Final papers
must conform to the EasyChair LaTeX style.  Initial submissions in
this format are welcome but not mandatory  but they should be in PDF
and within the given limit of pages/words.

Submission categories:

   * Full paper: 510 EasyChair pages
   * Short paper: 14 EasyChair pages
   * CD description: 1-6 EasyChair pages; a .zip or .tgz file of the
     CDs must be attached, or a link to the CD provided.
   * Standard Enhancement Proposal: 1-10 EasyChair pages (as
     appropriate w.r.t. the background knowledge required); a .zip or
     .tgz file of any related implementation (e.g. a Relax NG schema)
     should be attached.

If not in EasyChair format, 500 words count as one page.

PROCEEDINGS

Electronic proceedings will be published with CEUR-WS.org.

ORGANISATION COMMITTEE

   * Christoph Lange (University of Birmingham, UK)
   * James Davenport (University of Bath, UK)
   * Michael Kohlhase (Jacobs University Bremen, Germany)

Comments/questions/enquiries: to be sent to openmath-workshop@googlegroups.com