Net Meeting 115

Review Status of the Action List

The list of open actions is available here.

• 88-1. No progress.

Overture Language Board Status

The minutes from today’s LB NM are available here.

In addition, the LB is happy to announce that we have completed a process for library submissions. Using this workflow it is now possible to submit suggestions for library entries (which was not previously possible).

Status of VDMTools Development

VDMTools

Preparing the next release.

ViennaTalk

No release plans.

Status of the Overture Components

See Overture release planning.

VDMJ

None.

Release Planning

Overture

Next release of Overture, version 2.6.2, is due by May 18. A release candidate will be send out on May 9. A list of issues addressed since the last release can be found here. In addition, Andres Toom has reported a bug in the VDM-SL-to-Java/JML generator that has also been fixed.

VDM2C

No release plans.

Community Development

Core NM Dates

Upcoming core meetings are listed here.

The Overture workshop

All of the papers have been reviewed, and the Discussion phase has ended. Announcements will be send out tonight. A preliminary workshop programme is ready and will be announced later today. To enable discussion, the proceedings will be available before the workshop.

Please see the workshop page for additional details.

Reviving the Overture Strategic Research Agenda

The workshop organisers will prepare ahead of time, by email and other means so people not present can contribute. The SRA will bring together results from the previous two workshops. Specifically, the we intend to explore 5 themes:

• 1 - Language and semantics
• 2 - Tool support
• 3 - Applications
• 4 - Community building
• 5 - Commercialising

Publications Status and Plans

See Planned Publications.

Any Other Business

Feedback on the workshop is appreciated. Please send your input to Marcel.