-
Notifications
You must be signed in to change notification settings - Fork 11
Expand file tree
/
Copy pathproceedings-2.html
More file actions
154 lines (121 loc) · 4.47 KB
/
proceedings-2.html
File metadata and controls
154 lines (121 loc) · 4.47 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
<HTML>
<HEAD>
<TITLE> Proceedings of OpenMath Workshop 2</TITLE>
</HEAD>
<BODY>
<H1>Proceedings of OpenMath Workshop 2</H1>
<HR>
These notes are largely in the form of scanned copies of the slides used
during the presentations, though some are available as gzipped PostScript.
A <A HREF="participants-2.html">list of participants</A> is also available.
<H2>Programme</H2>
<B>John Abbott</B>
POSSO Proposed Polynomial Extensions
<A HREF="slides-2/slides-jaa.html">(slides, about 70k)</A>
<P>
<B>Simon Gray</B>
A Progress Report on the Multi Project
(no online information available)
<P>
<B>Gaston Gonnet</B>
Semantics and Purposes of OpenMath
<A HREF="slides-2/slides-gonnet.html">(slides, about 75k)</A>
<P>
<B>Stefan Vorkoetter</B>
OpenMath Work in Progress at Waterloo Maple Software
<A HREF="slides-2/slides-maple.html">(slides, about 30k)</A>
<P>
<B>Marc Gaetano, Stéphane Dalmas, Yves Papegay</B>
SAFIR Project Update
<A
HREF="slides-2/NK.ps.gz">(slides,
about 20k, gzipped PostScript)</A>
<P>
<B>Andreas Strotmann</B>
CALIF -- Computer Algebra Information Interchange Format
<A HREF="slides-2/CALIF-all.ps.gz">(slides, about 30k, gzipped PostScript)</A>
<P>
<B>Neil Soiffer</B>
Problems with OpenMath
<A HREF="slides-2/slides-soiffer.html">(slides, about 60k)</A>
<P>
<B>Wolfgang Weck</B>
Some Thoughts about Mathematical Symbols
(slides not available)
<P>
<B>Carlo Traverso</B>
Posso and OpenMath
<A HREF="slides-2/slides-posso.html">(slides, about 8k)</A>
<P>
<B><em>Panel Session</em></B>
Semantics of the Protocol: How much or how little?
<P>
<B>Stefan Vorkoetter</B> (for <B>Chris Howlett</B>)
Relations to Standardization Bodies
<A HREF="slides-2/slides-std.html">(slides, about 10k)</A>
<P>
<B>Rüdiger Loos</B>
An Algebraic Kernel System
<A HREF="slides-2/slides-aks.html">(slides, about 80k)</A>
<P>
<B>Mika Seppälä</B>
Plans Under the Recently Approved HCM Proposal (HCM Network OpenMath)
<P>
<B>Norbert Kajler, Ron Avitzur</B>
HISC Activities at RIACA
<A
HREF="slides-2/NK.ps.gz">(slides,
about 20k, gzipped PostScript)</A>
<H2>Future directions</H2>
After the talks and discussions, a general discussion was held to determine
what to do next. There was a common feeling, also expressed in various
presentations, that a precise definition of what OpenMath is and what
problems it is intending to solve are, is required. The results of this
discussion were the formation of two committees to oversee the continued
development of the OpenMath standard.
<P>
The first of these committees is charged with the development of a position
paper which is to state precisely what the goals and purposes of OpenMath
are, and what aspects should be kept in mind when designing the actual
protocol. This committee is to produce its paper and circulate it by e-mail
by 30 September 1994. The members of the committee are:<BR>
<B>Michael Richardson, Marcel Roelofs, Andreas Strotmann, Stefan Vorkoetter.</B>
<P>
The second committee is then to (re)write the OpenMath specification based
on the paper produced by the first committee. The revised specification is
to be completed by 31 December 1994. The members of the second committee
are:<BR>
<B>John Abbott, Marc Gaetano, Ruediger Loos, Robert Sutor, Stefan Vorkoetter.</B>
<P>
Both committees will confer by electronic mail.
<P>
James Davenport was asked to contact the SGML standards group to inform
them of OpenMath and to see if we can work with them in any way.
<P>
Chris Howlett and Stefan Vorkoetter will continue communications and
contacts with the standardization bodies to find possible overlaps and to
identify a group where it could be suitable to present OpenMath for
standardization. Prof R. Loos will contact DIN to explore the contacts with
the Application Layer Definition group.
<P>
E-mail will continue to be our main communication means. RIACA will
organize a centralized mailing list in cooperation with the existing ones
at Waterloo Maple Software and the POSSO group. It is expected that either
WMS or RIACA with set up a WWW server with all the information (proposals,
previous e-mail, papers, etc) available.
<P>
A tentative schedule of future meetings was proposed by Dr M. Seppala:
<UL>
<LI> February 1995, at Amsterdam
<LI> September 1995, at Canterbury (or Copenhagen)
<LI> February 1996, at Bath
<LI> September 1996, at Zurich
</UL>
These meetings will receive partial funding from the HCM proposal recently
granted by the EU.
<P>
<HR>
This page is part of the OpenMath Web archive,
and is no longer kept up to date.
</BODY>
</HTML>