r16 - 27 May 2008 - 10:36:19 - JohnFitzgeraldYou are here: TWiki >  Main Web  > OvertureWorkshops

Overture Workshops

Contributors to Overture hold informal one- or two-day workshops to review developments and report progress. We will announce new

The Next Workshop:

We are looking for a host and date for the next Overture workshop.

Past Workshops:

We have reports of all the past Overture workshops, including contributed notes, papers and presentations and photographs:

  • Workshop 4 Aabo Akademi, Turku, Finland, 26 May 2008
  • Workshop 3 Newcastle University, UK, 27-28 November 2006
  • Workshop 2 McMaster University, Hamilton, Ontario, 21 August 2006
  • Workshop 1 Newcastle University, UK, 18 July 2005

-- -- JohnFitzgerald - 27 May 2008

toggleopenShow attachmentstogglecloseHide attachments
Topic attachments
I Attachment Action Size Date Who Comment
jpgJPG IMG_7613.JPG manage 566.5 K 29 Nov 2006 - 09:39 NicoPlat Participants of the 3th Overture Workshop
Edit | Attach | Printable | Raw View | Backlinks: Web, All Webs | History: r16 < r15 < r14 < r13 < r12 | More topic actions
Main.OvertureWorkshops moved from Main.WorkshopPage on 15 Jan 2007 - 09:48 by JohnFitzgerald - put it back
 
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