Welcome to the homepage of our research group: Logic and Rewriting for Programming Languages. The topics of interest include: Rewriting and Lambda Calculus, Type Systems, and Logical Methods with a focus on their application to Programming Languages.
Recent and upcoming events
  • December, 2017. Alejandro Díaz-Caro will be visiting LSV at ENS-Cachan, Paris.
  • November, 2017. Andrés Viso will be visiting IRIF at Université Paris Diderot, Paris.
  • October 25-27, 2017. Alejandro Díaz-Caro will be giving a seminar at the XV JCC in Rosario.
  • October 19, 2017. LIA INFINIS workshop will take place at UBA.
  • August, 2017. Pablo Barenbaum will be visiting Stevens Institute of Technology in Hoboken, NJ.
  • July 24-29, 2017. Alejandro Díaz-Caro will be giving a course at the ECI 2017 in Buenos Aires.
  • April 25, 2017. Alejandro Díaz-Caro will be giving a seminar in the IFLP, La Plata.
  • April 20-21, 2017. Alejandro Díaz-Caro will be at Facultad de Ingeniería (UdelaR), Montevideo.
  • Latest publications
  • Alejandro Díaz-Caro and Gilles Dowek. Typing quantum superpositions and measurement. To appear in TPNC 2017.
  • Alejandro Díaz-Caro. A lambda calculus for density matrices with classical and probabilistic controls. To appear in APLAS 2017.
  • Alejandro Díaz-Caro and Guido Martínez. Confluence in probabilistic rewriting. To appear in LSFA 2017.
  • Juan Edi, Eduardo Bonelli, and Andrés Viso. Efficient Type Checking for Path Polymorphism. To appear in Post-proceedings of TYPES 2015.
  • Pablo Arrighi, Alejandro Díaz-Caro, and Benoît Valiron. The Vectorial Lambda-Calculus. Information and Computation, Volume 254(1), Paper 5. 2017.
  • Recent and upcoming visitors
  • November 8-9, 2017. Marcos Villagra
  • October 12-15, 2017. Octavio Malherbe.
  • September 13-22, 2017. Delia Kesner.
  • July 10-21, 2017. Simon Perdrix.
  • June 22-30, 2017. Gilles Dowek.
  • May 4-14, 2017. Delia Kesner.
  • March 23-26, 2017. Octavio Malherbe.
  • December 2016. Gilles Dowek, Pablo Arrighi, Simon Martiel, Stefano Facchini, Benoît Valiron, Renaud Vilmart, Octavio Malherbe.
  • April 2016. Delia Kesner.
  • July 2015. Abuzer Yakaryilmaz and Thibaut Balabonski.
  • Feb/Mar 2015. Bernard Serpette.
  • November 5-6, 2014. Delia Kesner.
  • November 2014. Jose Santos.
  • September 2014. Delia Kesner.
  • August 2014. Thibaut Balabonski.