[om-a] Workshop Announcement: Formalising Continuous Mathematics

[Andrew A. Adams]

Dear Colleagues,

The usual apologies for those who will see this more than once. Please 
re-distribute to anyone you think might be interested.


First International Workshop on Formalising Continuous Mathematics.

19th August 2002
Co-located with TPHOLs 2002 (20-23 August).
Radisson Hotel, Hampton, VA, USA.


Over the last few years there has been great interest in formalising
real and complex analysis. Many of the major higher order theorem
proving systems now have a formalisation of the real numbers and
various levels of real analysis support. Some work has also been
done on formalising complex analysis. Both standard and non-standard
analysis have been formalised. This work is of interest in a number
of application areas, including formal methods development for
hardware and software application and computer supported mathematics.
This workshop aims to bring together researchers working on the formal
developments and those with interests in using the libraries thus
developed. It aims to help improve the developments in the different
systems by highlighting the different ways in which progress can be
made, and enhancing communication between the people working on the
development or application of the libraries. By co-locating with
TPHOLs we hope to engage the developers of the underlying systems in
this important application area.


Invited Speaker: John Harrison of Intel Corporation


Format of Workshop and Call For Papers:

The aim of the workshop is to engage the various efforts in
communication, and to promote further work in the area. Papers on all
aspects of developing, maintaining and applying formalised continuous
mathematics are sought. The submitted papers will be lightly reviewed
for relevance and quality of presentation, and authors invited to
present details of their work at the workshop. The papers will be
published in a NASA Technical Report. We particularly welcome
submissions from PhD students and new researchers in the field, and
those with interesting problems which would benefit from formalised
continuous mathematical support. Work-in-progress papers are welcome.

Timetable:

Submission Deadline:		17th May 2002

Notification of Acceptance:	14th June 2002

Registration Available:		2nd April 2002

Timetable Announcement:		8th July 2002

Final Version of Papers:	19th July 2002

Workshop:			19th August 2002


Organising and Programme Committee:

Andrew Adams (The University of Reading) (Chair)

Hanne Gottliebsen (ICASE) (Local Arrangements)

John Harrison (Intel Corporation)

Laurent Thery (INRIA Sophia Antipolis)




Web page: http://www.rdg.ac.uk/FCM

e-mail contact: FCM at rdg.ac.uk


-- 
*E-mail*a.a.adams at rdg.ac.uk********  Dr Andrew A Adams
**snail*23 Ivydene Road************  Dept of Comp Sci
***mail*Reading RG30 1HT, UK*******  University of Reading
****Tel*+44-118-956-0607***********  Reading
--
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