Template:Main Page/Community

Displayed as follow on the Main Page

The Community - Who is who in the Overture Community

Mailing lists - Overture related mailing lists.

Community Process - handles contributions to the VDM language definitions.

Workshops - Workshops held by the Community

NetMeetings - Minutes of the NetMeetings.

Overture projects - Suggestions for projects

Overture Publications - Overture-related publications

Planned Publications - Status of planned publications

Do not hesitate to improve this wiki. You may find some help within the following pages:

Wiki Help - Some guidelines for page creation/edition in this wiki.

Overture Wiki Community - Suggest improvements and/or modifications here.

Recent Changes - Monitor the wiki activity.