Redirecting to the new website

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
  • April 5, 2018. Agustín Borgna will be giving a seminar at Deducteam at LSV, ENS Paris-Saclay, Cachan, France.
  • April 2 to 6, 2018. Alejandro Díaz-Caro will be visiting Deducteam at LSV, ENS Paris-Saclay, Cachan, France.
  • March 26 to 30, 2018. Alejandro Díaz-Caro will be visiting ModHel at LRI Université Paris-Saclay, Orsay, France.
  • March 19 to 22, 2018. Alejandro Díaz-Caro will be giving a seminar at CVQT in Edinburgh, UK.
  • March 9, 2018. Alejandro Díaz-Caro will be giving a seminar at WTPC in UNQ.
  • March 1, 2018. 4ta Jornada de Lógica, Computación e Información Cuántica will take place at UNQ.
  • Latest publications
  • Delia Kesner, Alejandro Ríos, and Andrés Viso. Call-by-need, neededness and all that. To appear in Proceedings of FoSSaCS 2018.
  • Alejandro Díaz-Caro and Gilles Dowek. Typing quantum superpositions and measurement. In Proceedings of TPNC 2017.
  • Alejandro Díaz-Caro. A lambda calculus for density matrices with classical and probabilistic controls. In Proceedings of APLAS 2017.
  • Alejandro Díaz-Caro and Guido Martínez. Confluence in probabilistic rewriting. In Proceedings of LSFA 2017 (submitted for post-proceedings in ENTCS).
  • Juan Edi, Eduardo Bonelli, and Andrés Viso. Efficient Type Checking for Path Polymorphism. In Post-proceedings of TYPES 2015.
  • Recent and upcoming visitors
  • May 14-27, 2018. Delia Kesner and Antonio Bucciarelli.
  • May 14-25, 2018. Benoît Valiron.
  • April 19-22, 2018. Octavio Malherbe.
  • January 22-26, 2018. Octavio Malhebre.
  • 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.