[om] 13th OpenMath Workshop Program
olga caprotti
olga at win.tue.nl
Wed Aug 2 13:17:07 CEST 2000
13th OpenMath Workshop
University of St. Andrews, Scotland
10 August, 2000
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 http://crystal.win.tue.nl/workshop/openmath13/
for further details.
TIME PRELIMINARY PROGRAM, Thu. 10.08.2000
09:00 - Registration and Coffee
09:15
09:15 - Opening Talk Arjeh Cohen
09:30
9:30 - 10:30 OpenMath Content Dictionaries James Davenport
10:30 - Coffee Break
11:00
11:00 - General Meeting of the OpenMath Society
12:00
12:30 - Lunch break
13:45
13:45 - MathML in conjunction with Stephen Watt
14:45 OpenMath
14:45 - Content Dictionaries for Andreas Strottmann
15:15 Climatology
15:15 - Tea break
15:30
15:30 - OpenMath Java Phrasebooks Manfred Riem
16:00
16:00 - CASL, the Common Algebraic Till Mossakowski
17:00 Specification Language.
17:00 - Final Discussion
17:30
PLACE: Lecture Theatre C of the Physical Science Building at the
University
of St. Andrews
--
om at openmath.org - general discussion on OpenMath
Post public announcements to om-announce at openmath.org
Automatic list maintenance software at majordomo at openmath.org
Mail om-owner at openmath.org for assistance with any problems
More information about the Om
mailing list