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

  • Lucía Busolini visits Nancy, Juny 2026
  • Malena Ivnisky visits Nancy, March 2026
  • Olivier Carton visits Buenos Aires February-March 2026
  • Jacques Sakarovich visits Buenos Aires, April 2026
  • Simón Lew Deveali visits Paris, September 2026

Archives