ANR/FNR Project
Sequoia

Security properties, process equivalences and automated verification


3nd Sequoia meeting

The meeting of the ANR/FNR SEQUOIA project will be held on March 6, 2017 at ENS Cachan.

Venue

The meeting will be held at ENS Cachan, amphithéatre Chemla (IDA building).

Directions to ENS Cachan.

Plan of the campus showing the IDA building.

Program