NetMeeting Default Template

Review Status of the Action List

See Net Meeting Actions

Overture Language Board Status

Traditionally LB is formed at first meeting. Issues found in using slack with blurred history for non-paying members and missing quorum. LB to be elected in a meeting to hold between this and next NM.

Status of ViennaTalk Development

• The ViennaTranspilingEngine has been implemented, and can be used as the default animation engine.
• A type checker has been implemented, and will be integrated into the Refactoring Browser at the next major release.

ViennaTalk currently uses an old version of VDMJ (3.2.0), which does not run on the latest JRE. While I’m updating the VDMJ wrapper to adopt the latest version of VDMJ, the transpiler, which runs without the VDMJ wrapper, can be used as an alternative.

Status of the Overture Components

VDMJ

• Mostly work on QuickCheck
• Added @DocLink annotation for FMI model support, and added @DocLinks to @OnFail.

VSCode Extension

• Started to sketch DAP protocol changes to improve VSCode POG UI.

LSP Server

Release Planning

Community Development

The web appearance of VDM

Overture Traffic

See download stats on number of installs.

OVT-22

Workshop submission was sent to FM Organization. It will be on the 10th of September 2024.

Publications Status and Plans

Also see Planned Publications.

It was agreed that people should review and update this page with their planned papers.

Any Other Business

None.