Policy

All mailinglists and email addresses given below (i.e., all addresses @avacs.org) are moderated semi-automatically. Emails send to these addresses are checked for spam and viruses automatically. Suspect emails are not delivered; instead the postmaster is notified who then decides how to handle these mails.

Board, Coordinator and Management

• Prof. Dr. Werner Damm, Coordinator
• Coordinator and Vice Coordinators (Prof. Dr. Bernd Becker, Prof. Dr. Werner Damm, Prof. Dr. Reinhard Wilhelm)
• Board (Prof. Dr. Bernd Becker, Prof. Dr. Werner Damm, Prof. Dr. Martin Fränzle, Prof. Dr. Ernst-Rüdiger Olderog, Prof. Dr. Andreas Podelski, Prof. Dr. Reinhard Wilhelm)
• Management (Dipl.-Inform. Jürgen Niehaus)

Principal Investigators, Project Areas and Subprojects

• You can contact each Principal Investigator via <initials>@avacs.org (e.g., wd@avacs.org for Prof. Dr. Werner Damm)
• Each principal Investigator and research assistant working in a given Project Area can be contacted via pb-[r|h|s]@avacs.org (e.g., pb-s@avacs.org)
• Each principal Investigator and research assistant working in a given Subproject can be contacted via tp-[r|h|s][1..4]@avacs.org (e.g, tp-h3@avacs.org)