Net Meeting 104

Review Status of the Action List

See Net Meeting Actions

• 103-1 2017 meeting schedule closed.

Overture Language Board Status

• Election postponed. Pending on new member invitation.

Status of VDMTools Development

https://github.com/vdmtools/vdmtools/

• Dr. K is keep updating VDMTools. (changelog: https://github.com/vdmtools/vdmtools/commits/master)

http://fmvdm.org/

• Binary package downloads (319 total)
• windows : 251
• mac : 47
• linux : 21

Status of ViennaTalk Development

• Only minor updates for bugfixes

Status of the Overture Components

VDMJ

• Nick invites feedback from testing the new release 4.0 of VDMJ is available for alpha testing.

• Refactoring results text to be added.

Release Planning

• Next Overture release is due March 6.

Community Development

Overture Traffic

See download stats on the downloads page

• Around 400 downloads for Overture 2.4.4

Follow up on the Business Canvas session from the Overture Workshop

The business model for Overture see https://github.com/overturetool/overture/wiki/Business-model

• Waiting for NP guidance and JF contacts.

Publications Status and Plans

See Planned Publications.

• PGL updated the bib file with all papers from the last workshop. Available at: https://www.overturetool.org/publications/

New Actions

None

Any Other Business

• Mailing list to move to AU.