FME 2001--Register Now!

[Wolfgang Reisig]

> 
> ***************************************************************************
> *                     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:
> 
>                http://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                    *
> ***************************************************************************


-- 
Prof. Wolfgang Reisig
Humboldt-Universitaet zu Berlin, Institut fuer Informatik
Unter den Linden 6, D-10099 Berlin
Tel. +49-30/2093-3065, -3066
http://www.informatik.hu-berlin.de/~reisig