From 5^th to 6^thApril 2018 a VESSEDIA General Assembly and Technical Meeting took place in Berlin, Germany at Fraunhofer FOKUS premises.

The first day started with the General Assembly meeting where several administrative issues including the first periodic reporting were discussed and preparations for the first review meeting were done. After the GA meeting, the technical meeting started, accompanied by more technical discussion of work packages. In the late afternoon, activities and plans for dissemination, communication, exploitation and standardisation were discussed. Furthermore ideas for a new “Verified in Europe” label were presented by partner TUAS.

The next day was dedicated to a standardisation workshop. In a first step partner TUAS gave an introduction to different verification tool categories. Afterwards a fruitful discussion on verification tool categories took place.