I'm looking for a VDM++ expert

You are required to model a simple project monitoring system by using VDM++ specification. The specification is expected to model/specify the details of different type of projects. Some project may last up to several years and consists of several activities. The activities may include development, training, seminar, workshop, meeting, etc. The specification should model/specify the activities details (i.e., activity name, description, duration/date (deadline), place, attendance). If the activity is related to training or seminar, then the specification also expected to record the speaker/trainer details such as his/her name, organization. fees, his/her travelling and accommodation details.