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