To learn about Formal Methods Europe 2001, to be held in Berlin 12-16 March, please visit the symposium website at: www.informatik.hu-berlin.de/top/fme2001 Registration and hotel reservation are available on the website. The deadline for early registration is 9 February. Please register now so we can look forward to seeing you in Berlin!