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

  • Carlos Miguel Soto to defend his licenciatura thesis at UBA – May 6, 2025
  • Edwin Pin defends his PhD thesis. May 6, 2025
  • Mariana Milicich visits Buenos Aires, April-May 2025
  • Rafael Romero visits Nancy, February-July, 2025
  • Pablo Rotondo visits Buenos Aires, July-August, 2025

Archives