Internet Accessible Mathematical Computation
a Workshop at ISSAC 2004

Thursday 8 July 2004
University of Cantabria, Santander Spain

with the support of
Consejería de Educacion, Gobierno de Cantabria
Natural Sciences and Engineering Research Council of Canada


Over the past several years, the Internet Accessible Mathematical Computation workshop has been a popular satellite event at the ISSAC conferences. These workshops have featured invited speakers, contributed papers and posters or software demonstrations. This year's workshop will be the 5th annual event, held on July 8th as part of the ISSAC 2004 meeting. The workshop is free to all ISSAC 2004 participants.


Everyone with an interest in the many aspects of making mathematical computation or information accessible on the Web/Internet is welcome to attend. Topics of the workshop include, but are not limited to:

  • Remote access to mathematical software over the Internet.
  • Encoding of mathematical expressions (including XML, text and binary encodings) used for E-mail, HTML embedding, digital libraries, computer algebra systems, and other scientific applications.
  • Interoperability between software that create/transform/display mathematical expressions (e.g. symbolic, numeric, graphics, text-processing packages)
  • Web-based mathematics education.
  • Access and interoperability to mathematical knowledge bases.
  • Protocols, APIs, URL schemes, metadata, and other mechanisms for system interoperability, parallel/distributed computing, and standardization.
  • Application of IAMC for practical purposes such as scientific publishing and archiving, distributed problem solving, etc.


Location: Salon de Grados
09:30 -- 10:00 Registration
10:00 -- 10:15 Welcome
10:15 -- 11:15 Invited talk I:
Standards for Mathematics? The example of MathML
Patrick Ion
Mathematical Reviews, American Mathematical Society
Co-Chair World Wide Web Consortium Math Working Group,
Co-Editor MathML Specification
11:15 -- 11:30 Coffee break
11:30 -- 12:30 Contributed Papers.
Session I: Internet Accessible Mathematics Applicable to Education
11:30 -- 12:00 Mathematical Computations on the Web: The Maple approach,
Laurent Bernardin,
12:00 -- 12:30 Developing Computational Web Animation - using Flash and .NET Technology
Keehong Song,
Department of Mathematics Education, Pusan National University, Korea
12:30 -- 14:00 Lunch
14:00 -- 15:00 Invited talk II:
Mathematical Software and the Semantic Web
Mike Dewar
Numerical Algorithm Group Ltd.
Project Manager, Mathematics on the NET ESPRIT Project
15:00 -- 15:15 Coffee break
15:15 -- 16:15 Contributed Papers. Session II:
Distributed Mathematical Computation Technology
15:15 -- 15:45 Distributed Computing in Algebraic Topology: first trials and errors, first programs,
Andrés M., Pascual V., Romero A., Rubio J.,
Departamento de Matematicás y Computación, Universidad de La Rioja.
15:45 -- 16:15 Description and generation of mathematical web services,
Marc Laurent Aird, Walter Barbera Medina, James Davenport, Julian Padget,
Department of Computer Science, University of Bath
16:15 -- 16:30 Informal Session on Software Systems Demonstrations


ISSAC 2004 home page: http://www.risc.uni-linz.ac.at/issac2004
IAMC 2004 home page: http://www.orcca.on.ca/conferences/iamc2004

Previous IAMC home page: http://www.symbolicnet.org/conferences/iamc03


Next IAMC 2005 will take place at ISSAC 2005, Beijing, China. See you there!