ST. AUGUSTIN/ DARMSTADT- Ein Symposium zum Thema "Software Validation" führt die Gesellschaft für Mathematik und Datenverarbeitung mbH Bonn(GMD) gemeinsam mit der SRI International, Menlo Park, durch.

Im Mittelpunkt der Veranstaltung, die vom 26. bis 30. September in Darmstadt stattfindet, stehen neuartige Prüf- und Testmethoden. Das Symposium ist Teilbereich des Projekts "Qualitätssicherung und Softwarekontrolle" und wird von der Commission of the European Communities finanziell unterstützt.

Informationen: GMD, Postfach 1240, Schloß Birlinghoven, 5205 St. Augustin 1, Tel.: 02241/ 14- 1.