2 new members for the VeRDi project -
Two new members have been hired for the VeRDi project and will arrive in july 2019. The first one is a 18-months postdoc expert in formal methods and verification. The second one is a 18-months engineer who will bring technical support to the project.