Raúl Fervari visits LIP6 to work with Benjamin Icard and Gauvain Bourgne in logical methods for formalizing misinformation.