|Date||2015-12-06 13:00 CET|
|Participants||PGL, NB, KP, TO, MV, GK, HS, LF, LDC (minutes)|
The LB will initially proceed with 7 members and PJ and MV as observers. A vote to expand to 9 members will be held on the core mailing list. MV will organise it. (new action: https://github.com/overturetool/overturetool.github.io/issues/23)
Assuming the vote passes, the LB will move forward with the 9 members who stood for election: Ken, PeterJ, Anne ,Nick ,Marcel ,Leo ,Tomo ,Luis and Dr K
VDMTools is being handed over to Kyushu-Univ now. No status changes from last time. There is a plan to add support for pure operations.
2015-11-24 Fix a problem with set pattern matching, raised by Tomo.
See download stats on the downloads page
Heavy downloads from Porto. PGL will contact to see if we can help (new action: https://github.com/overturetool/overturetool.github.io/issues/24).
Paperwork prepared and awaits signing. It is expected that VDMTools will be made open source. KU may do further work on it but still a lot of bureaucracy to sort through. We will wait for further news. PGL will contact Araki-san so he can provide more details at the next NM (new action: https://github.com/overturetool/overturetool.github.io/issues/25).
Dates for the 2016 NMs have been posted at http://overturetool.org/netmeetings/
See Planned Publications.
We expect to go for a new Overture workshop in connection with FM’16.