Kontakt
For more information about the program of the German Verification Day, you may contact Prof. Dr. Werner Damm and Prof. Dr. Wolfgang Paul, the co-organizers of this workshop.
For more information about registration, hotels and other technical matters, please contact Jürgen Niehaus.