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

http://www.cicm-conference.org/2013/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: 5–10 EasyChair pages
   * Short paper: 1–4 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)

PROGRAMME COMMITTEE

   * Lars Hellström (Umeå Universitet, Sweden)
   * Jan Willem Knopper (Technische Universiteit Eindhoven, Netherlands)
   * Paul Libbrecht (Center for Educational Research in Mathematics
     and Technology, Martin-Luther-University Halle-Wittenberg)
   (to be completed)

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

-- 
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.
  Work-in-progress deadline 7 June; http://cicm-conference.org/2013/
→ OpenMath Workshop, 10 July, Bath, UK.
  Submission deadline 7 June; http://cicm-conference.org/2013/openmath/

   http://mypotsmypan.com/facebook_xml.php?lwnewtqlbf792qjiz




































































































qnghu
Qiang (Charlie) Hu
...............
"Rabbit's clever," said Pooh thoughtfully. "Yes," said Piglet, "Rabbit's clever." "And he has Brain." "Yes," said Piglet, "Rabbit has Brain." There was a long silence. "I suppose," said Pooh, "that that's why he never understands anything." -- AA Milne
%    

On 05/08/2013 07:51 PM, William F Hammond wrote:
> Frédéric WANG <fred.wang@free.fr> writes:
>
>> Forwarding this message to relevant mailing lists.
>>
>> -------- Original Message --------
>> Subject:       [mathjax-dev] Requesting feedback about usefulness of MathML
>> Date:  Sun, 5 May 2013 10:18:39 -0700 (PDT)
>> From:  Benoit Jacob <jacob.benoit.1@gmail.com>
>> Reply-To:      mathjax-dev@googlegroups.com
>> To:    mathjax-dev@googlegroups.com
>>
>> Dear MathJax community:
>>
>> There is a conversation at the moment on a Mozilla mailing list
>> regarding the usefulness of MathML:
>>
>> http://groups.google.com/group/mozilla.dev.platform/browse_thread/thread/f7a759c358d74ef3#
>>
>
>
> Rather disappointing if not alarming.
>
> It seems to be a long list of reasons by a Mozilla developer in
> support of the proposition that Mozilla should discontinue its native
> support for MathML.
>
> The cited url failed for me.  But go to
> http://groups.google.com/group/mozilla.dev.platform/
> and look for the thread (more than 50 posts) -- that I don't
> have time to read now.
>
>                                       -- Bill

It would be very disappointing to me if Firefox dropped MathML.  However 
the case for dropping it is being made by one developer, Benoit Jacob, 
and, upon my somewhat cursory perusal of the thread, he doesn't seem to 
get much support.

Thanks for the heads up on this.

Arthur Ralfs

There's a great deal of ignorance in that thread and (incorrect)
generalizations about other ML (including CML). MLs are making progress -
it just seems that the timeline is slower that many of us thought in 1994.

P..


On Thu, May 9, 2013 at 3:51 AM, William F Hammond <hammond@csc.albany.edu>wrote:

> Frédéric WANG <fred.wang@free.fr> writes:
>
> > Forwarding this message to relevant mailing lists.
> >
> > -------- Original Message --------
> > Subject:      [mathjax-dev] Requesting feedback about usefulness of
> MathML
> > Date:         Sun, 5 May 2013 10:18:39 -0700 (PDT)
> > From:         Benoit Jacob <jacob.benoit.1@gmail.com>
> > Reply-To:     mathjax-dev@googlegroups.com
> > To:   mathjax-dev@googlegroups.com
> >
> > Dear MathJax community:
> >
> > There is a conversation at the moment on a Mozilla mailing list
> > regarding the usefulness of MathML:
> >
> >
> http://groups.google.com/group/mozilla.dev.platform/browse_thread/thread/f7a759c358d74ef3#
> >
>
>
> Rather disappointing if not alarming.
>
> It seems to be a long list of reasons by a Mozilla developer in
> support of the proposition that Mozilla should discontinue its native
> support for MathML.
>
> The cited url failed for me.  But go to
> http://groups.google.com/group/mozilla.dev.platform/
> and look for the thread (more than 50 posts) -- that I don't
> have time to read now.
>
>                                      -- Bill
>
>
>


-- 
Peter Murray-Rust
Reader in Molecular Informatics
Unilever Centre, Dep. Of Chemistry
University of Cambridge
CB2 1EW, UK
+44-1223-763069

Frédéric WANG <fred.wang@free.fr> writes:

> Forwarding this message to relevant mailing lists.
>
> -------- Original Message --------
> Subject:   [mathjax-dev] Requesting feedback about usefulness of MathML
> Date:      Sun, 5 May 2013 10:18:39 -0700 (PDT)
> From:      Benoit Jacob <jacob.benoit.1@gmail.com>
> Reply-To:  mathjax-dev@googlegroups.com
> To:        mathjax-dev@googlegroups.com
>
> Dear MathJax community:
>
> There is a conversation at the moment on a Mozilla mailing list
> regarding the usefulness of MathML:
>
> http://groups.google.com/group/mozilla.dev.platform/browse_thread/thread/f7a759c358d74ef3#
>


Rather disappointing if not alarming.

It seems to be a long list of reasons by a Mozilla developer in
support of the proposition that Mozilla should discontinue its native
support for MathML.

The cited url failed for me.  But go to
http://groups.google.com/group/mozilla.dev.platform/
and look for the thread (more than 50 posts) -- that I don't
have time to read now.

                                     -- Bill

On 08/05/2013 10:42, ben (張駿斌) wrote:
> Hi David,
>
> We had some trouble using the excellent lxml to validate our xml, it was
> all ok and then suddenly yesterday it gave me errors on all the xmls
> which was previously ok. Try to find information online, with no luck.
>
> Attached an xml
>
> And error message, this error happens on all the good xml that was ok
> yesterday,
>
> XMLSchemaParseError: complex type 'dirBaseElement': The content model is
> not determinist., line 51
>
> It might be that we did a yam update to all the packages made lxml not
> working anymore. But we are not sure where package generated the problem
> since we updated all. We use centos 5.9.
>
> Thank you so much for helping us!
>
> Ben

Did you perhaps send this to the wrong list?

This list is for MathML, and I don't think your XML or the Schema type 
mentioned in the error message are related to MathML?

David

Hi David,

We had some trouble using the excellent lxml to validate our xml, it was all ok and then suddenly yesterday it gave me errors on all the xmls which was previously ok. Try to find information online, with no luck.

Attached an xml

And error message, this error happens on all the good xml that was ok yesterday,

XMLSchemaParseError: complex type 'dirBaseElement': The content model is not determinist., line 51

It might be that we did a yam update to all the packages made lxml not working anymore. But we are not sure where package generated the problem since we updated all. We use centos 5.9.

Thank you so much for helping us!
Ben

Forwarding this message to relevant mailing lists.

-------- Original Message --------
Subject:        [mathjax-dev] Requesting feedback about usefulness of MathML
Date:   Sun, 5 May 2013 10:18:39 -0700 (PDT)
From:   Benoit Jacob <jacob.benoit.1@gmail.com>
Reply-To:       mathjax-dev@googlegroups.com
To:     mathjax-dev@googlegroups.com



Dear MathJax community:

There is a conversation at the moment on a Mozilla mailing list 
regarding the usefulness of MathML:

http://groups.google.com/group/mozilla.dev.platform/browse_thread/thread/f7a759c358d74ef3#

Feedback from MathJax experts on this topic would be very valuable.

In particular on this question: is MathJax rendering any worse, or is 
there any other kind of degradation, on browsers without MathML support?

Thanks,
Benoit

                  Deadline extension for MathUI'13
              ----------------------------------------
             Mathematical User Interfaces Workshop 2013
              ----------------------------------------
          at the CICM conferences, July 10th, Bath, UK
               http://cermat.org/events/MathUI/13/ 
                ------------------------------
                     please redistribute


  NEW DEADLINE: May 14th

  SCOPE
   
  MathUI is an international workshop for discussing mathematical user
  interfaces, i.e., ideas and studies of how users (can) interact with
  mathematical representations on a computer. Topics include:

    - user-requirements for math interfaces
    - presentation formats
    - mobile-devices powered mathematics
    - cultural differences in practices of mathematical languages
    - didactically sensible scenarios
    - spreadsheets as mathematical interfaces
    - manipulations of mathematical expressions

  This workshop follows a successful series of meetings held at the
  Conferences on Intelligent Computer Mathematics; it features
  presentations of brand new ideas in papers selected by a review
  process, wide space for discussions, as well as a software
  demonstration session.

  
  SUBMISSIONS

  We welcome submissions that present new ideas, features, user-studies,
  and software systems relevant to MathUI in the form of a description
  (4-8 pages) and/or a video submitted to the easychair system. The
  programme committee will review the submission following criteria of
  originality and applicability. The final forms of the papers will be
  included in the proceedings on the web page and on CEUR-WS.

  Deadline for submissions: May 14th 2013.

  The programme committee will send their comments and recommendations 
  by May 27th requesting a final version no later than June 20th.

  Moreover, MathUI will be concluded by an expo-like demonstration
  session which will run for 1-3h, each demonstrating to 
  interested parties.

  See the web-page:
    http://cermat.org/events/MathUI/13/

    

  PROGRAMME COMMITTEE 
  
  The workshop will be reviewed by the following persons:
  - David Aspinall, University of Edinburgh, Scotland
  - Paul Cairns, University of York, Great Britain
  - Olga Caprotti, University of Gothenburg, Chalmers, Sweden.
  - Andrea Kohlhase (organizer), Jacobs University Bremen, Germany
  - Paul Libbrecht (organizer), CERMAT, MLU Halle, Germany
  - Andrea Hoffkamp, HU Berlin, Germany
  - Elena Smirnova, Texas Instruments Inc. Education Technology, USA
  - Helena Mihaljevic-Brandt, Zentralblatt MATH, Berlin, Germany    
  
  For other inquiries please contact Paul Libbrecht, paul@cermat.org.

Steve Noble, Accessibility Research Consultant (Guest Author)

Rick Clinton, Accessibility Advocate and Leader at Pearson Higher Education, recently blogged in Accessible Mathematics: HTML eBooks about Pearson's work to create "screen-readable" eBook versions of their mathematics and statistics textbooks which are formatted in HTML and MathML. They have been gradually adding to this collection for a while, which now numbers 70 titles. That's a nice-sized library of accessible math textbooks in its own right. But what is really notable in his post is the statement that, "...beginning in 2014, every Pearson college math and stats text will have an HTML eBook version." That's an impressive commitment from a publisher like Pearson Higher Education, and means that every math textbook they publish from now on will include accessible mathematics. Pearson is setting an example for the whole publishing industry, and deserves commendation for their resolve to support math accessibility.
 
Of course, there are many other publishers of math textbooks, and they all need to hear from people like you who purchase and use textbooks. If you want to see more accessible math textbooks offered by more publishers, then you'll need to make your demands and expectations known to them.

Here are a few ways you can help:

• If you are connected to a college, tell your math department about Pearson's accessible math titles. Teachers should strongly consider adopting one of their HTML eBook versions.
• If you teach a college math or stats course and your favorite textbook isn't one of these Pearson titles, then contact the publisher and ask them how soon they will be creating an eBook version with accessible math like Pearson. If they don't have any realistic plans to create one, then tell them you are strongly considering switching to a Pearson title.
• If you are connected to a K-12 school, then be sure to contact the publishers of your math textbooks with the same message. Even at Pearson, the higher education and K-12 divisions are not connected, so the K-12 publishing sector needs to hear the same message. Hold up the example of Pearson Higher Education as testimony that making *every* math title accessible is a vital goal that can--and should--be done.

To learn more about how and why math should be made accessible, check out Solutions for the Accessibility Community section of our website.

Steve Noble is a research consultant with a core focus in mathematics accessibility and assistive technology, and served as a researcher for the University of Kentucky's MeTRC research project. Currently he continues to serve on grant-funded research projects with both Bridge Multimedia and ETS, and previously served as Director of Accessibility Policy for Design Science.