Skip to content

International Research Project SINFIN

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

Alejandro Díaz-Caro visits LSV at ENS Paris-Saclay in December 2017

Posted on September 15, 2017April 15, 2019Author Editorial teamCategories Uncategorized

Alejandro Díaz-Caro will visit the lab LSV at ENS Paris-Saclay to work with Gilles Dowek in December 2017.

Post navigation

Previous Previous post: Andrés Viso visits IRIF – November 2017
Next Next post: LATIN 2018, organised by INFINIS members at Buenos Aires

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

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

International Research Project

Recent Posts

  • Leopoldo Lerena visits IRIF – March 29 – September 26, 2026
  • Lucía Busolini visits Nancy, June 2026
  • Malena Ivnisky visits Nancy, March 2026
  • Olivier Carton visits Buenos Aires February-March 2026
  • Jacques Sakarovich visits Buenos Aires, April 2026

Archives