*************************************************************************** * 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 * ***************************************************************************