FME 2001--Register Now!

[Pamela Zave]

*************************************************************************** 
*                     FORMAL METHODS EUROPE 2001                          *
*        "Formal Methods for Increasing Software Productivity"            *
*                                                                         *
*                    12-16 March, Berlin, Germany                         *
*                                                                         *
* Come to the world's leading conference on application of formal methods *
* in the software industry!                                               *
***************************************************************************

The programme of tutorials, workshops, invited lectures, papers, and tool
exhibitions is available on the symposium website:

               www.informatik.hu-berlin.de/top/fme2001

Please hurry -- 9 February is the deadline for early registration and
guaranteed reservations at the conference hotel!

Registration and hotel reservation forms are also available on the 
symposium website.

***************************************************************************
*            Early Registration Deadline is 9 February                    *
***************************************************************************