Raúl Fervari will visit LSV (Laboratoire Spécification et Vérification) Paris from September 18 to October 15, to work with Stéphane Demri and Alessio Mansutti.