Neben einer Reihe weiterer Aktivitäten steht Forms vor allem für die Workshopreihe Formale Techniken für die Eisenbahnsicherung, die 1998 und 1999 mit Forms ‘98 und Forms ‘99 begann und nun mit Forms 2000 fortgesetzt wird. Forms 2000 richtet sich an industrielle Hersteller von Eisenbahnsicherungssystemen, Betreiber von Eisenbahnen, Mitglieder der Aufsichtsbehörde, Gutachter und Wissenschaftler im Bereich der Eisenbahnsicherung. Forms 2000 hat zum Ziel, formale Techniken, bekannt durch Schlagworte wie z.B. UML, Statecharts oder Petrinetze, in ihrer Einsatzfähigkeit bzgl. des Bereiches der Eisenbahnleittechnik anhand vorgegebener Fallbeispiele vergleichbar vorzustellen. Forms 2000 bietet deshalb ein Forum zur Präsentation des Standes der Technik im Bereich der formalen Techniken für die Eisenbahnsicherung aus dem industriellen sowie dem Hochschulbereich. Die Beiträge des Workshops, die sich auf Fallstudien aus dem Bereich der Bahnübergangssicherung beziehen, werden hier veröffentlicht.