Net Meeting 121

Review Status of the Action List

A list of actions can here found here.

• https://github.com/overturetool/overturetool.github.io/issues/18 - no progress. Peter/Nick to discuss f2f in January
• https://github.com/overturetool/overturetool.github.io/issues/32 - to be discussed under Licensing section below

Overture Language Board Status

• RMs RMs ready for annotations and proof obligation generation from total functions. Both need some work with Overture integration. Kenneth may be able to help in a couple of weeks. PGL also has has 2 students investigating if VDM can work with Language Server Protocol
• Clarified Ordering of operators in LRM
• LB Minutes:

Status of VDMTools/ViennaTalk

Viennatalk

• Fix release of ViennaTalk “Cologne”
  • bugfix on VDMPad (diagram presentation)
• Public ViennaDoc example at https://viennatalk.org/ViennaDoc/counter.html

VDMTools

• Released version 9.0.10 https://github.com/vdmtools/vdmtools/tree/v9.0.10
  • bugfix on inst var invariants
  • java 11 support

Status of the Overture Components

Overture

• A couple of minor bugs fixed, one to do with parsing of specification statements, and another to do with the calculation of when record types are “infinite”.
• Same problems fixed in VDMJ.
• Discussed which versions of Java Overture currently supports (7+?)

Release Planning

• PVJ has proposed dates for 2020

Community Development

• Overture 2019 Workshop was successful but small bumber of participants.
• A couple papers from the workshop will go for the LNCS post-proceedings

Licensing of Overture source code

• Progress has stalled. Best overview of status is here https://github.com/overturetool/overture/issues/705#issuecomment-545606478
• New actions:
• https://github.com/overturetool/overturetool.github.io/issues/34
• https://github.com/overturetool/overturetool.github.io/issues/35
• Task 2 remains TBD

Publications Status and Plans

See Planned Publications.

• Most published papers have been moved over. Some minor cleanup is still needed.

Any Other Business

• Overture workshop will stay in Europe and will be held at the next FM in China. Once idea is to hold it in connection with one of the HUBCAP project plenary evets.