SPARK-related events

Coming soon

March 2009

SPARK training courses, March 2009, Bath UK.

Past Events

October 2008

The SPARK User Group Meeting, October 15th 2008, Bath UK.

June 2008

Ada Europe Conference 2008, Venice, Italy

November 2007

ACM SIGAda 2007, 4th-9th November, Washington DC, USA
Rod Chapman will be presenting both a tutorial on "Security by Construction" and one of the key-note speeches at SIGAda this year.

IMechE Software Reliability Seminar, 20th November, London, UK

October 2007

Embedded Systems Show, October 18th, Birmingham NEC, UK
Rod Chapman will be presenting a 1-hour tutorial on programming language design issues and static verification for dependable systems, as part of the IET Technical Conference "Design of Dependable Systems" Track.

IET Conference on System Safety, 22nd-24th October, London, UK
SPARK Team are presenting a tutorial on Correctness by Construction on Monday 22nd October.

September 2007

LASER Summer School on Software Engineering
September 9th-15th 2007, Elba, Italy
Rod Chapman will be presenting a talk about SPARK and its verification tools.

AdaUK Conference, September 25th, Manchester, UK
SPARK team will be exhibiting, and presenting both a technical paper and a vendor track presentation at this event.

June 2007

Ada Europe 2007, June 25th-29th 2007. Geneva, Switzerland.

Rod Chapman will be presenting a tutorial on "Security by Construction".

February 2007

Safety-Critical Systems Symposium, February 13th-15th 2007. Bristol, UK. Praxis will be presenting three technical papers during the course of the symposium:

"Dependability-by-Contract", Brian Dobbing and Samantha Lautieri

"The Benefits of Electronic Safety Cases", Alan Newton and Andy Vickers

"Independently Assessing Legacy Safety Systems", Paul Edwards, Andrew Furse and Andy Vickers

July 2006

Rod Chapman from SPARK Team will be attending the Grand Challenge on Program Verification workhop in Dagstuhl, Germany.

June 2006

Rod Chapman from SPARK Team is the opening key-note speaker at the 2006 Ada Europe conference in Porto, Portugal.

March 2006

SPARK team will be participating in the first IEEE International Symposium on Secure Software Engineering in Washington DC.

They will also be attending and giving two presentations at
the Ada UK conference in Manchester on the 28th.

April 2006

Peter Amey from SPARK team will be participating in the development of DO-178C in Long Beach.

SPARK Team will be participating in the NSA HCSS conference.

January 2006

SPARK team have co-authored a paper with Esterel about SPARK and SCADE at the Embedded Real Time Software Conference in Toulouse.

November 2005

Rod Chapman participated in a Workshop on Software Security Assurance Tools, Techniques and Methods in Long Beach, California.

October 2005

Rod Chapman travelled to Zurich for the "Verified Software: Theories, Tools and Experiments" workshop.

September 2005

SPARK team were the focus of a leading article 'The Exterminators' in the IEEE Spectrum magazine.

August 2005

Rod Chapman was an invited keynote speaker at the 2005 Australian Worshop on Safety Related Programmable Systems.

July 2005

SPARK team exhibited at Formal Methods '05 in Newcastle.

June 2005

Praxis High Integrity Systems and Esterel Technologies committed to integrating SPARK and SCADE Suite for Rapid Development compliant with Def. Stan. 00-56 Requirements.

Ada Europe 2005 - Praxis gave two tutorials, and paper, and exhibited.

May 2005

Highlights of the last year from the SPARK team (click here).

April 2005

Correctness by Construction Seminar in Maryland, USA - A one-day seminar hosted by Praxis, for senior managers and senior engineers to describe the Correctness by Construction approach.

SSTC 2005. Praxis had a high profile at SSTC 2005, giving two technical papers and exhibiting.

January 2005

Release 7.2 of SPARK toolset available This release offers major improvements in the SPARK language, the Examiner, Simplifier, and Checker.

November 2004

SPARK Team honoured by ACM SIGAda We're pleased to announce that SPARK Team has been awarded the 2004 ACM SIGAda award for outstanding contribution to the Ada community. At the SPARK User Group meeting, the award was dedicated to Professor Bernard Carré - the founder of Program Validation Limited and principal designer of SPARK.

October 2004

AdaCore Academic Initiative Praxis is pleased to announce a joint academic initiative with AdaCore. For more information, Read the full press release, or Visit the AdaCore Academic Initiative.

SPARK and Rhapsody ILogix announce SPARK support in their Rhapsody UML product line. Read the full press release here.

April 2004

US sales and support Alliance Praxis signs alliance agreement with Pyrrhus Software for sales and support of the SPARK toolset in the USA. See our Press Release.

US Security Industry backs Praxis software development method The US National Cyber Security Partnership has cited Praxis' Correctness by Construction as one of only 3 processes that can deliver software with sufficient assurance for present and future secure systems. Check out the Press Release.