[om-a] OpenMath Workshop Program

[Marc Gaetano]

                 OpenMath Thematic Network Workshop
                   Nice (France), Hotel Campanile
                          March 2-3 2002
                             PROGRAM


                         Saturday March 2
                         ----------------

08:45 - 09:00  Welcome

09:00 - 09:30  Report on the W3C meeting
               D. Carlisle, NAG Ltd.

09:30 - 10:00  Interactions between OpenMath and MathML
               S. Watt, University of Western Ontario

10:00 - 10:30  Coffee break

10:30 - 11:00  OpenMath CD update
               J.H. Davenport, University of Bath

11:00 - 11:30  A Geometry CD
               A.M. Cohen, Technical University of Eindhoven

11:30 - 12:00  Discussion

12:00 - 14:00  Lunch

14:00 - 14:30  The project MONET
               M. Dewar, NAG Ltd.

14:30 - 15:00  The project CoCoA 5
               J. Abbott, University of Genova

15:00 - 15:30  Discussion

15:30 - 16:00  Coffee break

16:00 - 16:30  Categorial Type Theory for OpenMath
               A. Strotmann, Florida State University

16:30 - 17:00  Dependable Mathematics and Computational Logic
               U. Martin, University of St. Andrews

17:00 - 17:30  Discussion

20:00          Dinner

                          Sunday March 3
                          --------------


09:00 - 09:30  Adaptive Calculus Learning System
               M. Seppala, University of Helsinki

09:30 - 10:00  A language for brokering mathematical services
               O. Caprotti, RISC Linz

10:00 - 10:30  Coffee break

10:30 - 11:00  A Content Language for distributed reasoning systems
               C. Giromini, Saarland University 

11:00 - 12:00  Discussion and Closing

12:00 - 13:00  OpenMath Society meeting
--
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