International Workshop on
Current Trends in Applied Formal Methods

FM-TRENDS 98 7.10. - 9.10.1998 Boppard Germany

Workshop location + accommodation: Haus Boppard der Bundesakademie für öffentliche Verwaltung e.V. Rheinallee 23/24 56154 Boppard / Rhein Tel. +49 6742 8715-0 (or 8715-113) Fax. +49 6742 8715-153