Net Meeting 46


Date	22 August 2010, 1300 CET
Participants	Peter Gorm Larsen, Shin Sahara, Hiroshi Sako, Kenneth Lausdahl, Nico Plat, John Fitzgerald, (6 persons)

Review of Action List

38/2 (strategic research agenda - jsf/mv) : carried forward
39/1 (define type inference - pgl/nb) : closed
43/1 (organise NM after astgen delivery - pgl/kl/mv/ar) : closed
41/1 (notes on deploying vdm - pgl/mv/jsf/nb) : carried forward
44/1 (LB to report on semantics plan - jsf): carried forward

VDMTools

See detailed report of Shin Sahara (sent to the overture-core mailing list) on the latest and greatest on VDMTools from Japan. VDM Tools. A number of bugs in the TC has been corrected and RC19 available for test.

Overture

IDE

Overture IDE 0.3.0 RC2 available for test, graphical errors fixed. Three large Japanese models have been tested in the tool and discovered that the Console prints in wrong encoding. A new RC3 will be uploaded to fix this.

AST

New AST and parser prototype made based on the new TreeGen tool. A very early TC project has also been made.

VDMJ

Warnings updated.

Publication plans

See Planned Publications (page has been updated).

POs for recursive functions - in press.
DESTECS paper june paper will have its title updated.
A brief Overture Tool paper for Tool demo at SEFM in preparation.
Abstraction paper is in review.
TR for Overture Workshop 8 in preparation.

Any Other Business

Once again the Twiki sites are under attack and it has been purposed to close down automatic registration and let one administrator accept new accounts. No objections was made and Peter will discuss with Augusto how the new wiki is protected.

Next Meeting

Next meeting is due on Sunday 26 September, 13h00 CET.