Submission

By email to the organisers:

Graham-Lengrand@lix.polytechnique.fr
Assia.Mahboubi@inria.fr

Work-in-progress is welcome, as well as system descriptions for new prototypes or new features implemented in existing tools, with a demonstration on the day of the workshop.