Skip to content

International Research Project SINFIN

  • Home
  • History
  • Co-publications
  • Bilateral projects
  • Members
    • Members and teams
    • Former PhD Students
  • Research

Raúl Fervari visits LSV, Cachan – July 2017

Posted on August 17, 2017April 15, 2019Author Editorial teamCategories Uncategorized

Raúl Fervari visits LSV at Cachan in July 2017, to work with Stephane Demri.

Post navigation

Previous Previous post: Juan Pablo Galeotti is now Investigador Adjunto at CONICET.
Next Next post: Santiago Figueira visits Labri at Bordeaux – July 2017

Systèmes, vérIfication, iNformatique Fondamentale, logIque, laNgages

Sistemas, lógIca, leNguajes,
Fundamentos de la computacIón, verificacióN

International Research Project

Recent Posts

  • Verónica Becher participated of the International Conference on “Prime numbers and arithmetic randomness”.
  • Mélodie Andrieu visits Buenos Aires, July 2025
  • Alejandro Díaz-Caro visits Buenos Aires, July-August 2025
  • Santiago Figueira visits LaBRI, July 2025
  • Raul Fervari is visiting LMF, September-December 2025

Archives