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.
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.
Submissions should be sent in postscript or pdf format to email@example.com.
Registration for the workshop should be made via the TPHOLs 2002 site. The registration fee is US$40. Sole registration for the FCM 2002 workshop is possible, but we encourage attendees to register for both events. Accommodation can also be booked via the main TPHOLs 2002 site.