Jekyll2026-08-10T20:16:24+00:00https://irp-sinfin.github.io/feed.xmlInternational Research Project SINFINSystèmes, vérIfication, iNformatique Fondamentale, logIque, laNgagesAlejandro Díaz-Caro visits Universidad de Buenos Aires, April/May 20262026-08-07T00:00:00+00:002026-08-07T00:00:00+00:00https://irp-sinfin.github.io/2026/08/07/alejandro-diaz-caro-visits-universidad-de-buenos-aires-april-may-2026Alejandro Díaz-Caro (Inria, Nancy) visits Universidad de Buenos Aires to work with his PhD students Malena Ivnisky, Rafael Romero, and Cristian Sottile from April 30 to May 4, funded by the QCOMICAL project.]]>Cristian Sottile defends his PhD thesis, July 20262026-08-07T00:00:00+00:002026-08-07T00:00:00+00:00https://irp-sinfin.github.io/2026/08/07/cristian-sottile-defends-his-phd-thesis-july-2026Cristian Sottile defends his PhD thesis at Universidad de Buenos Aires advised by Alejandro Díaz-Caro (Inria, Nancy) and Pablo E. Martínez López (Universidad Nacional de Quilmes) on July 3, 2026.]]>Malena Ivnisky visits Nancy, July 20262026-08-07T00:00:00+00:002026-08-07T00:00:00+00:00https://irp-sinfin.github.io/2026/08/07/malena-ivnisky-visits-nancy-july-2026Malena Ivnisky visits Nancy, funded by the QCOMICAL project, to work with Alejandro Díaz-Caro. 13 to 17 July, 2026.]]>Rafael Romero visits Inria, Nancy, June 20262026-08-07T00:00:00+00:002026-08-07T00:00:00+00:00https://irp-sinfin.github.io/2026/08/07/rafael-romero-visits-inria-nancy-june-2026Rafael Romero (Universidad de Buenos Aires and Universidad Nacional de Quilmes) visits Inria, Nancy to work with Alejandro Díaz-Caro from June 17 to June 27.]]>Eda Cesaratto visits IRIF, September 17 to October 22, 20262026-08-06T00:00:00+00:002026-08-06T00:00:00+00:00https://irp-sinfin.github.io/2026/08/06/eda-cesaratto-visits-irif-september-october-2026Eda Cesaratto visits IRIF from September 17 to October 22 to work with Valérie Berthé, Pablo Rotondo, and Loïck Lhote.]]>Raúl Fervari visits LIP6, Sorbonne Université, October 1 to 24, 20262026-08-06T00:00:00+00:002026-08-06T00:00:00+00:00https://irp-sinfin.github.io/2026/08/06/raul-fervari-visits-lip6-sorbonne-universite-october-2026Raúl Fervari visits LIP6 to work with Benjamin Icard and Gauvain Bourgne in logical methods for formalizing misinformation.]]>Santiago Figueira visits LaBRI, July 20262026-08-06T00:00:00+00:002026-08-06T00:00:00+00:00https://irp-sinfin.github.io/2026/08/06/santiago-figueira-visits-labri-july-2026Santiago Figueira visited LaBRI, Bordeaux from 30 June to 13 July, to work with Diego Figueira.]]>Simón Lew Deveali visits Université Gustave Eiffel, September 1-30, 20262026-08-06T00:00:00+00:002026-08-06T00:00:00+00:00https://irp-sinfin.github.io/2026/08/06/simon-lew-deveali-visits-universite-gustave-eiffel-september-2026Simón Lew Deveali carries out a doctoral research stay at the Université Gustave Eiffel, working with Pablo Rotondo, from September 1 to 30, 2026.]]>Verónica Becher visits Université de Strasbourg, September 6 to 13, 20262026-08-06T00:00:00+00:002026-08-06T00:00:00+00:00https://irp-sinfin.github.io/2026/08/06/veronica-becher-visits-universite-de-strasbourg-september-2026Verónica Becher undertakes a research visit to the Université de Strasbourg to work with Yann Bugeaud from September 6 to 13, 2026. She also visits Pablo Rotondo at the Université Gustave Eiffel on September 14 to 15, 2026.]]>Juan Bautista Figueredo starts his internship at Université de Lorraine, March 20262026-06-02T00:00:00+00:002026-06-02T00:00:00+00:00https://irp-sinfin.github.io/2026/06/02/juan-bautista-figueredo-starts-his-internship-at-universite-de-lorraine-march-2026Juan Bautista Figueredo (UNR) starts his 6-month internship at Université de Lorraine under the direction of Kostia Chardonnet and Alejandro Díaz-Caro.]]>