[om-a] CFP: 13th OpenMath Workshop

[olga caprotti]

                       SECOND CALL FOR PAPERS
      
	               13th OpenMath Workshop
	          University of St. Andrews, Scotland        
                         10 August, 2000 


                               

     The 13th OpenMath Workshop is a meeting place for developers and
     users of the OpenMath standard. The recent developments and
     applications of OpenMath are presented at this yearly event.

     OpenMath is a standard for communicating semantically-rich
     representations of mathematical objects between all kinds of
     computer programs. The communication can take place between
     software packages and on the World Wide Web. The associated tools
     will permit the display, manipulation and access of mathematical
     information stored electronically.

                                   Scope

     The main themes of this year's meeting will be Content
     Dictionaries and Phrasebooks. The program will consist of
     lectures and tutorials. Two tutorials on topics closely related
     to OpenMath are planned, see below.

                                 Tutorials

     CASL, the Common Algebraic Specification Language.
     Till Mossakowski
          CASL is an expressive language with a fully formal semantics
          which allows to write mathematical theories in a concise and
          structured way. Is is the central language among a family of
          algebraic specification languages designed by CoFI, the
          Common Framework Initiative. The tutorial gives an overview
          over the CASL language, the semantics (briefly) and the
          available tools. Also, some possible relations to OpenMath
          are sketched.

     MathML in conjunction with OpenMath.
     Steve Watt
          Abstract not available yet.

                               Related Events

     The workshop is taking place on the day after the ISSAC'2000
     Symposium.
     On August 10, in St.Andrews, the annual general meeting of the
     OpenMath Society will be held. More information will be posted as
     available on the OpenMath Society web pages.

                                Submissions

     Papers may be up to 10 pages in length and extended abstract up
     to 5 pages. A cover sheet must display the author's name,
     institution, email and postal addresses, and an abstract. Systems
     demonstrations are also invited. Authors must state in the cover
     sheet whether they intend to offer a demonstration of a running
     system.

     Submissions should be sent electronically, in (La)TeX source, or
     as an HTML document to Arjeh M. Cohen, A.M.Cohen at tue.nl before July
     1, 2000. The submissions will either be accepted or rejected for
     presentation by members of the OpenMath Society before July 15.
     Final versions of accepted papers will be due by July 25.

     Accepted papers will appear in the informal proceedings of the
     workshop and will be made available via the OpenMath Society web
     site, provided the authors agree. This enables authors to submit
     their work also to journals or conferences with a proper
     refereeing procedure. The main role of the program committee will
     be to filter the submissions so as to ensure a balanced workshop
     and good quality contributions.

                               Program Chair

     Arjeh M. Cohen
     Technical Univ. Eindhoven,
     Dept. of Mathematics and Computer Science
     Postbus 513
     5600 MB Eindhoven, (The Netherlands)
     Tel: (NL) +40 247 4270
     Fax: (NL) +40 243 5810

                                Registration

     Please let us know by July 15, 2000 whether you intend to attend
     by using the online registration form available at the workshop
     website http://crystal.win.tue.nl/workshop/openmath13

     Attendees of ISSAC'2000 may arrange lodging when registering for
     ISSAC. Those attending only the workshop will find travel and
     lodging information on www.openmath.org.

     Registration fee is 20 UK Pounds.

                             Local Organization

     Steve Linton                       Olga Caprotti 
     <sal at dcs.st-and.ac.uk>             <O.Caprotti at tue.nl>

     University of St Andrews           Eindhoven University of
     Tel: +44 1334 463269               Technology
     Fax: +44 1334 463278               Tel: +31 40 247 5162
                                        Fax: +31 40 244 2489

--
om-announce at openmath.org  -  public announcements concerning OpenMath
Post discussion to om at openmath.org
Automatic list maintenance software at majordomo at openmath.org
Mail om-announce-owner at openmath.org for assistance with any problems