ANR/FNR Project
Sequoia

Security properties, process equivalences and automated verification


2nd Sequoia meeting

The meeting of the ANR/FNR SEQUOIA project will be held on January 25 2016 at University of Luxembourg.

Venue

The meeting will be held at the University of Luxembourg, in room F212, campus Kirchberg. Directions are available here.

Program