ANR/FNR Project
Sequoia

Security properties, process equivalences and automated verification


Kick-off meeting

The kick-off meeting of the ANR SEQUOIA project will be held on March 9 2015 at Nancy.

Venue

The meeting will be held in room B013 of the Inria Nancy center. Directions are available here.

Program