r19 - 28 Dec 2009 - 12:58:04 - JohnFitzgeraldYou are here: Overture >  Main Web  > OvertureWorkshops

Overture Workshops

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

The Next Workshop:

We're still planning the next workshop.

Past Workshops:

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

  • Workshop 7 Technical University of Eindhoven, Netherlands, 2 November 2009
  • Workshop 6 Newcastle University, UK, 7-8 May 2009
  • Workshop 5 Braga, Portugal, 8 and 9 November 2008
  • 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 - 28 Dec 2009

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: r19 < r18 < r17 < r16 < r15 | 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 Overture? Send feedback