Latest news

Stance Press Release


07/09/2016: Please click here to read the press release!

Read More

Frama-C Day 2016


In a society driven by information technologies and communication, the safety and security of software have become crucial challenges. Frama-C is a software analysis platform that enables the design, implementation, and dissemination of formal verification solutions.

Speakers at the Frama-C Day will demonstrate and discuss innovative approaches to software analysis, from both academic and industrial points of views.

In addition to invited presentations, this will be a space for community discussions, updates on new developments, and upcoming projects.

Click here for more details

Read More


Press Release

Commissariat à l’Energie Atomique, France

An Introduction to VeriFast for Java

Jochen Burghardt, Hans Werner Pohl

A Trusted Virtual Security Module

Ronald Toegl, Florian Reimair, Martin Pirker


STANCE Final Workshop

From 06/04/2016 to 06/04/2016
Duration: 1 day, Location: Royal Holloway, University of London, London, UK


The STANCE  Final Workshop took place on 6 April 2016 in the Royal Holloway (University of London) in London and was hosted by the International Symposium on Engineering Secure Software and Systems Symposium  (ESSoS16). 

(Click here for more information).

Find out more

Cyber Security & Privacy Innovation Forum 2015

From 28/04/2015 to 29/04/2015
Duration: 2 days, Location: MCE, Brussels - (Belgium)

EU-Funded Cybersecurity and Privacy investment shortening the gap from research to innovation

Over 40 top tech, EU funded, trust and security projects with focused research activities in hot topical areas such as mobile devices technologies and tools, cloud security, cryptography and trustworthy network and services infrastructures being showcased live at a major EU Innovation forum, where over 500 cyber security and privacy experts, project leaders, industry, academics and visionaries also pooling their knowledge to create a safer and more secure ICT environment.

Among other exhibitors, the STANCE project poster has been displayed throughout all the conference (click here to view the poster)

Find out more

EuroLLVM, 7th to 8th April 2014 (Edinburgh, Scotland)

From 07/04/2014 to 08/04/2014
Duration: 2 days, Location:

The poster presented by CEA-LIST is available here

Find out more

STANCE visit of FhG to CEA, 3rd April 2014 (Palaiseau, France)

From 03/04/2014 to 03/04/2014
Duration: 1 day, Location:

STANCE second Internal Review, 2nd April 2014 (Paris, ARTTIC premises)

From 02/04/2014 to 02/04/2014
Duration: 1 day, Location: Paris

STANCE visit of FhG to CEA, 10th to 14th March 2014 (Palaiseau, France)

From 10/03/2014 to 14/03/2014
Duration: 5 days, Location:

STANCE Technical meeting, 29th to 30th January 2014 (Berlin, Germany)

From 29/01/2014 to 30/01/2014
Duration: 2 days, Location:

STANCE Technical meeting Search DA - CEA, 24th January 2014 (Palaiseau, France)

From 24/01/2014 to 24/01/2014
Duration: 1 day, Location:

STANCE Technical meeting Search Labs - CEA, 15th to 16th January 2014 (Palaiseau, France)

From 15/01/2014 to 16/01/2014
Duration: 2 days, Location:

STANCE first Review meeting with the European Commission, 15th November 2013 (Brussels)

From 15/11/2013 to 15/11/2013
Duration: 1 day, Location:

STANCE first Review meeting preparation, 14th November 2013 (Brussels)

From 14/11/2013 to 14/11/2013
Duration: 1 day, Location: Brussels

Formal Methods Forum from 27th to 28th June 2013 in Toulouse

From 27/06/2013 to 28/06/2013
Duration: 2 days, Location: Toulouse

Raise awareness of source code analysis tools for high-dependability industrial validation (with the participation of F. KIRCHNER from CEA)

STANCE second Training session took place in Leuven from 23rd to 25th April 2013

From 23/04/2013 to 25/04/2013
Duration: 3 days, Location:

Training session on the use of Frama-C done by Virgile Prevosto (CEA) to various industrial partners from 22nd to 23rd April 2013 in Munich

From 22/04/2013 to 23/04/2013
Duration: 2 days, Location: Munich

Increased interests in the availability of C++ front-end (with the collaboration of CEA and Fraunhofer)

STANCE first Training session took place in Palaiseau (at CEA premises) from 27th to 29th March 2013

From 27/03/2013 to 29/03/2013
Duration: 3 days, Location:

STANCE first Internal Review was held in Palaiseau from 25th to 26th March 2013.

From 25/03/2013 to 26/03/2013
Duration: 2 days, Location:

The paper submitted by Gijs Vanspauwen and Bart Jacobs from KU Leuven, is available here.

Find out more

Security of e-Government workshop on 19th February 2013 in Brussels

From 19/02/2013 to 19/02/2013
Duration: 1 day, Location: Brussels

Dissemination of source code analysis techniques for e-government cyber-security (with the participation of F. KIRCHNER from CEA)

EFFECTSPLUS Meeting on 7th February 2013 in Brussels

From 07/02/2013 to 07/02/2013
Duration: 1 day, Location: Brussels

FP7 projects presentation (with the participation of A. PUCCETTI from CEA)

Formal Methods Meeting on 16th January 2013 in Toulouse

From 16/01/2013 to 16/01/2013
Duration: 1 day, Location: Toulouse

Publicize STANCE-based formal methods techniques as an industrial emerging trend (with the participation of F. KIRCHNER from CEA)

The STANCE kick-off meeting took place in Paris on 8th and 9th October 2012.

From 08/10/2012 to 09/10/2012
Duration: 2 days, Location: