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. 
Upcoming
  • December 5-6, 2016. FoQCoSS Kickoff Workshop will take place at UNQ.
  • October 2016: Alejandro Díaz-Caro will be giving the course at CACIC 2016 in San Luis.
  • May 2016: Alejandro Díaz-Caro will be at ENS-Cachan, Paris.
  • Jan/Dec 2016. Eduardo Bonelli will be at the Stevens Institute of Technology as an invited professor.
  • Jan/Jul 2016. Alejandro Díaz-Caro will be at Università di Torino as an invited professor.
  • December 17, 2015. Juan Edi will present his MSc thesis at UBA.
  • October 2015. Pablo Barenbaum will visit PPS Laboratoire in Paris.
  • Latest publications
  • Mauricio Ayala Rincón, Eduardo Bonelli and Andrés Viso. Type Soundness for Path Polymorphism. In Proceedings of LSFA 2015.
  • Alejandro Díaz-Caro and Abuzer Yakaryılmaz. Affine computation and affine automaton. CSR 2016.
  • Eduardo Bonelli, Delia Kesner, Carlos Lombardi and Alejandro Ríos. An abstract normalisation result with applications to non-sequential calculi. To appear in TCS.
  • Recent visitors
  • 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.
  • May 5-16, 2014. Delia Kesner and Antonio Bucciarelli.
  • November 2013Mauricio Ayala-Rincon.
  • October 2013. Delia Kesner visited UBA.
  • Sept/Oct 2013. Roel de Vrijer visited UBA.
  • July 2013. Jean-Jacques Lévy visited UBA for a course in the ECI 2013.