From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Thread: 103376,193117a6843a81b2,start
X-Google-Attributes: gid103376,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!postnews.google.com!59g2000hsb.googlegroups.com!not-for-mail
From: roderick.chapman@googlemail.com
Newsgroups: comp.lang.ada
Subject: SPARK User Group 2008
Date: Mon, 28 Apr 2008 09:02:07 -0700 (PDT)
Organization: http://groups.google.com
Message-ID: <9f80aed6-6509-4faf-931b-e05dc2b314d9@59g2000hsb.googlegroups.com>
NNTP-Posting-Host: 217.205.167.137
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
X-Trace: posting.google.com 1209398527 9867 127.0.0.1 (28 Apr 2008 16:02:07
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Mon, 28 Apr 2008 16:02:07 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: 59g2000hsb.googlegroups.com; posting-host=217.205.167.137;
	posting-account=HCzrEgkAAABSfGsTnv-u5wET6EzuneVi
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-GB;
 rv:1.8.1.14)
	Gecko/20080404 Firefox/2.0.0.14,gzip(gfe),gzip(gfe)
X-HTTP-Via: 1.1 bloxx:3128 (squid/2.5.STABLE11)
Xref: g2news1.google.com comp.lang.ada:21103
Date: 2008-04-28T09:02:07-07:00
List-Id: <comp.lang.ada>

We're pleased to announce that the next SPARK User Group
meeting will be held in Bath, UK, on Wednesday 15th October 2008.

Booking a place

Capacity is limited, so priority will be given to our supported
customers, other clients, tool
partners and academic users. If you have not already received an
invitation, then please
contact us via sparkinfo@praxis-his.com.

Programme

The provisional list of speakers includes:

Guest speaker: Duncan Brown (Rolls-Royce plc).
"Formal Methods and DO-178C"

Industrial case-study: Neil White (iFACTS Team, Praxis).
"The iFACTS project"

Research report: Dr Paul Jackson, (University of Edinburgh)
"Using SMT Solvers to Prove SPARK VCs"

R&D Report: Rod Chapman (Praxis)
"SPARK Update and Release 7.6 Highlights"