r17 - 07 Sep 2008 - 11:02:04 - AugustoSilvaYou are here: TWiki >  Main Web  > NetMeetings

Overture Net Meetings

All members of the Overture Community are welcome to join in the regular net meetings. These are held on the MSN Messenger network. To join a net meeting, please email Peter Gorm Larsen.

The next meeting will be held on 7 September 2008, 1300 CET.

Standing Agenda

Meetings normally last one hour and include the following business:

  1. Approval of minutes from last meeting
  2. Review status of Actions
  3. VDMTools:
    1. Status of VDMTools development ii. Bug reporting for VDMTools bugs
  4. Overture
    1. Overture Tools development status ii. Research Strategy status iii. Challenge status
  5. Publications status and Plans
  6. Any other business
  7. Next meeting

Records of Past Meetings

Net Meeting 15: 04 February 2007 1200CET

Net Meeting 16: 04 March 2007 1200CET

Net Meeting 17: 14 April 2007 1300CET

Net Meeting 18: 20 May 2007 1300CET

Net Meeting 19: 08 July 2007 1300CET

Net Meeting 20: 26 August 2007 1300CET

Net Meeting 21: 14 October 2007 1300CET

Net Meeting 23: 20 January 2008 1300CET

Net Meeting 24: 16 March 2008 1400CET

Net Meeting 25: 20 April 2008 1300CET

Net Meeting 26: 8 June 2008 1300CET

Net Meeting 27: 20 July 2008 1300CET

Net Meeting 28: 07 September 2008 1300CET

-- AdrianaSantos - 20 March 2008

Edit | Attach | Printable | Raw View | Backlinks: Web, All Webs | History: r17 < r16 < r15 < r14 < r13 | More topic actions
 
Overture Open-Source Formal Method Tools
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback