[LoReL] [UNQ] [Exactas] [ICC] [CONICET]

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.

Latest publications

Directors

Researchers

PhD Students

Eduardo Bonelli
[Bonelli]
Alejandro Ríos
[Rios]
Alejandro Díaz-Caro
[Diaz-Caro]
Carlos Lombardi
[Lombardi]
Pablo Barenbaum
[Barenbaum]
Andrés Viso
[Viso]

Undergraduate Students

Agustín Borgna
[Borgna]
Teodoro Freund
[Freund]
Ignacio Grima
[Grima]
Malena Ivnisky
[Ivnisky]
Francisco Noriega
[Noriega]
Alan Rodas Bonjour
[Bonjour]
 
 

Former Students

Lucas Romero
[Romero]
  Gonzalo Ciruelos
[Ciruelos]
Juan Pablo Rinaldi
[Rinaldi]
Juan Edi
[Edi]
Gabriela Steren
[Steren]

Collaborators


Recent and upcomming events

  • May 21, 2018. The Logic and Foundations of Programming Languages Day takes place at Exactas-UBA.
  • April 5, 2018. Agustín Borgna gives a seminar at Deducteam at LSV, ENS Paris-Saclay, Cachan, France.
  • April 2 to 6, 2018. Alejandro Díaz-Caro visits Deducteam at LSV, ENS Paris-Saclay, Cachan, France.
  • March 26 to 30, 2018. Alejandro Díaz-Caro visits ModHel at LRI Université Paris-Saclay, Orsay, France.
  • March 19 to 22, 2018. Alejandro Díaz-Caro gives a seminar at CVQT in Edinburgh, UK.
  • March 9, 2018. Alejandro Díaz-Caro gives a seminar at WTPC in UNQ.
  • March 1, 2018. 4ta Jornada de Lógica, Computación e Información Cuántica takes place at UNQ.
  • December, 2017. Alejandro Díaz-Caro visits LSV at ENS-Cachan, Paris.
  • November, 2017. Andrés Viso visits IRIF at Université Paris Diderot, Paris.
  • October 25-27, 2017. Alejandro Díaz-Caro gives a seminar at the XV JCC in Rosario.
  • October 19, 2017. LIA INFINIS workshop takes place at UBA.
  • August, 2017. Pablo Barenbaum visits Stevens Institute of Technology in Hoboken, NJ.
  • July 24-29, 2017. Alejandro Díaz-Caro gives a course at the ECI 2017 in Buenos Aires.
  • April 25, 2017. Alejandro Díaz-Caro gives a seminar in the IFLP, La Plata.
  • April 20-21, 2017. Alejandro Díaz-Caro visits at Facultad de Ingeniería (UdelaR), Montevideo.
  • April 3-12, 2017. Alejandro Díaz-Caro visits at ENS-Cachan, Paris.
  • March 23, 2017. Jornada de lógica, computación e información cuántica takes place at UNQ.
  • December 5-6, 2016. FoQCoSS Kickoff Workshop takes place at UNQ.
  • October 2016. Alejandro Díaz-Caro gives a course at CACIC 2016 in San Luis.
  • Jan/Dec 2016. Eduardo Bonelli stays at the Stevens Institute of Technology as an invited professor.
  • May 2016: Alejandro Díaz-Caro visits ENS-Cachan, Paris.
  • Jan/Jul 2016. Alejandro Díaz-Caro stays at Università di Torino as an invited professor.
  • December 17, 2015. Juan Edi defends his Licenciatura thesis (eq. Masters in the EU) at Universidad de Buenos Aires, supervised by Andrés Viso and Eduardo Bonelli.
  • October 2015. Pablo Barenbaum visits PPS Laboratoire in Paris.
  • July 17. LIA INFINIS workshop takes place at UBA.
  • July 2015. Thibaut Balabonski visits Buenos Aires.
  • July 2015. Abuzer Yakaryilmaz visits UBA for a course at the ECI 2015 Winter School, and gives a seminar at UNQ.
  • May/Jun 2015. Andrés Viso visits PPS Laboratoire in Paris.
  • Feb/Mar 2015. Bernard Serpette visits Buenos Aires.
  • Feb/May 2015. Pablo Barenbaum visits PPS Laboratoire in Paris.
  • February 2015. Alejandro Díaz-Caro gives the course at RIO 2015 in Río Cuarto.
  • December 15, 2014. Gabriela Steren presents her PhD thesis at UBA.
  • November 7, 2014. Carlos Lombardi presents his PhD thesis at UBA.
  • November 5-6, 2014. Delia Kesner visits Buenos Aires.
  • November 2014. Jose Santos visits Buenos Aires.
  • August, 2014. Thibaut Balabonski visits Buenos Aires.
  • July 2014. Beta Ziliani gives a course on Coq at the ECI 2014 Winter School at UBA.
  • November 2013. Mauricio Ayala-Rincón visits Buenos Aires.
  • October 2013. Delia Kesner visits UBA.
  • Sept/Oct 2013. Roel de Vrijer visits UBA.
  • July 2013. Jean-Jacques Lévy gives a course on Reductions and casualty in the ECI 2013 Winter School at UBA.
  • May 2013. Delia Kesner visits UBA.
  • 11 April 2013. First meeting of LoReL seminar at UBA.
  • February 2013. Pierre Lescanne visits UBA in February 2013.
  • 9-11 Oct 2012. Beniamino Accattoli gives a short course on Linear Logic, Lambda-calculus, and Explicit Substitutions.
  • 03 Oct 2012. Mini Workshop on Rewriting and Type Theory takes place at UBA.
  • 01 Oct 2012. INFINIS Business meeting takes place at UBA.
  • October 2012. Roel de Vrijer visits Buenos Aires.
  • October 2012. Delia Kesner and Beniamino Accatolli visits Buenos Aires.
  • August 2012. Mauricio Ayala-Rincón visits UNQ in the context of a STIC-AmSud cooperation project.
  • 07 Sep 2012. Carlos Lombardi gives a talk at INFINIS Meeting.
  • 03 Sep 2012. Eduardo Bonelli gives a talk at WoLLIC 2012, Sep 3-6, 2012.
  • 29 May 2012. Delia Kesner presents a joint paper at RTA 2012.
  • 22-23 May 2012. Eduardo Bonelli gives a 4 hour short course on Normalisation for Dynamic Pattern Calculi at Universidad de Brasilia.


Recent and upcomming visitors

  • September 20-23, 2018. Octavio Malherbe.
  • September 6, 2018. Marcos Villagra and Alexandre Miquel.
  • September 1-11, 2018. Delia Kesner.
  • July 23 to August 3, 2018. Gilles Dowek.
  • June 16-19, 2018. Octavio Malherbe.
  • May 18-22, 2018. Alexandre Miquel and Mauricio Guillermo.
  • 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.
  • 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.
  • May 5-16, 2014. Delia Kesner and Antonio Bucciarelli.
  • November 2013. Mauricio 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.
  • May 2013. Delia Kesner.
  • February 2013. Pierre Lescanne. He also gave a course in the Río Cuarto summer school.
  • October 2012. Roel de Vrijer.
  • August 2012. Mauricio Ayala Rincón visited UNQ during the end of August 2012 for two weeks in the context of a STIC-AmSud cooperation project.
  • July 8, 2015. Abuzer Yakaryilmaz will give us some insight on his research line with his talk titled Classical and Quantum Automata on Promise Problems
  • April 22, 2015. Andrés Viso gives us an overview on his joint work with Eduardo Bonelli and Mauricio Ayala-Rincon titled Static Typing for Path Polymorphism
  • February 18, 2015. Bernard Serpette will give us some insight on his recent work titled Computing with collaborative side effects
  • November 26, 2014. Nicolás Passerini and Pablo Tesone will introduce us to this recent work on An Extensible Constraint-based Type Inference Algorithm for Object-Oriented Dynamic Languages Supporting Blocks and Generic Types
  • November 12, 2014. Jose Santos will tell us about his work on information flow analysis titled Enforcing Secure Information Flow in Client-side Web Applications.
  • October 29, 2014. Carlos Lombardi will give us some insight on his PhD thesis titled Reduction Space for Non-Sequential and Infinitary Rewriting Systems.
  • October 1 & 15, 2014. Alejandro Díaz-Caro will tell us about his joint work with Gilles Dowek on Type Theory Modulo Isomorphism
  • September 3 & 17, 2014. Andrés Viso will introduce us to some of the details on proving Strong Normalization for CPP, a type system for a pattern calculus supporting Path Polymorphism. Joint work with Eduardo Bonelli and Mauricio Ayala-Rincón.
  • August 20, 2014. Thibaut Balabonski will be opening this new semester's seminar at UNQ with his talk on Semantic Proofs of Correctness For Low-level Concurrent Program Optimisations
  • June 13, 2014. Eduardo Bonelli will present us some recent work by Beniamino Accattoli and Ugo Dal Lago titled Beta Reduction is Invariant, Indeed.
  • May 29, 2014. Pablo Barenbaum give us some insight on his recent joint work with Eduardo Bonelli on Optimal Reduction in the Linear Substitution Calculus.
  • May 13, 2014. Antonio Bucciarelli joins us for a lecture on Definability and Full Abstraction Problems for Lambda Calculi.
  • March 27, 2014. Andrés Viso gives us an overview on his joint work with Eduardo Bonelli and Mauricio Ayala-Rincon titled Typing a Calculus of Patterns Supporting Path Polymorphism.
  • August 23, 2013. Ioana Cristescu presents her joint work with Jean Krivine and Daniele Varacca titled A Compositional Semantics For The Reversible Pi-calculus.
  • July 25, 2013. Jean-Jacques Lévy revisits his recent talk Understanding Strong Normalisation on his visit to Buenos Aires.
  • June 27, 2013. Beta Ziliani visits Buenos Aires and tells us about his recent work on extending Coq with Mtac: a Monad for Typed Tactic Programming.
  • June 6, 2013. Andrés Viso gives us a brief introduction on Typing Systems for different Pattern Calculi. The talk is based on Barry Jay's book Pattern Calculus: Computing with Functions and Structures.
  • May 16, 2013. Delia Kesner gives us an overview on her joint work with Antonio Bucciarelli and Simona Ronchi della Rocca titled Observability Through Product Types.
  • May 9, 2013. Carlos Lombardi introduces us to the theory of Proof Terms as a continuation of his previous talk on equivalences between reductions for Infinitary Rewriting Systems. Further information is available on Term Rewriting Systems (TeReSe) chapter 8.
  • April 25, 2013. Gabriela Steren gives us an overview on her work Intuitionistic Hypothetical Logic of Proofs presented on The 6th Workshop on Intuitionistic Modal Logic and Applications (IMLA 2013) last April 7.
  • April 11, 2013. Carlos Lombardi introduces us to Infinitary Rewriting Systems and shows some interesting equivalences between reductions. Background information can be found on Term Rewriting Systems (TeReSe) chapter 12 and Infinitary Normalization by Jan Willem Klop and Roel De Vrijer.

Current projects

  1. ECOS Sud A17C01. Semantics and implementation of functional programming. 2018-2020.
  2. ECOS Sud A17C03. Quantum calculi. 2018-2020.
  3. PUNQ 1370/17. Fundamentos de lenguajes de programación cuánticos y sus consecuencias en sistemas clásicos. Universidad Nacional de Quilmes. 2017-2019.
  4. PICT 2015-1208. Fundamentos de lenguajes de programación cuántica: hacia una lógica computacional. MinCyT. 2017-2019.
  5. We participate in INFINIS, a French-Argentinean Laboratory (Laboratoire Internationale Associé) between Centre National de la Recherche Scientifique(CNRS) and Université Paris Diderot, on the one hand, and Consejo Nacional de Investigaciones Científicas y Técnicas (CONICET) and the Universidad de Buenos Aires, on the other. It is devoted to research in Computer Science. Specific focus is placed on formal methods, for modeling, verification and development of complex software artifacts. 2013-2018.

Past projects

  1. STIC-AmSud. FoQCoSS - Foundations of Quantum Computation: Syntax and Semantics. Argentina: Universidad Nacional de Quilmes, Universidad de Buenos Aires. Brazil: Universidade Federal de Santa Maria. France: INRIA, CNRS/LORIA, Université Aix-Marseille, CentraleSupélec/LRI. 2016-2017.
  2. PUNQ 1425/15. Fundamentos de lenguajes de programación cuánticos y sus consecuencias en sistemas clásicos. Universidad Nacional de Quilmes. 2015-2017.
  3. PUNQ 1416/15. Programación funcional: fundamentos revisados. Universidad Nacional de Quilmes. 2015-2016.
  4. ECOS Sud. Dinámica De Cálculos De Sustituciones Explícitas A Distancia.
  5. STIC-AmSud. Formal Development of Computer Programs and Applications. Argentina: Universidad Nacional de Quilmes. Brazil: Universidade de Brasília. France: Laboratoire PPS, Université Paris VII. 2012-2013.
  6. UBACyT 20020100100372 Diversas extensiones de sistemas de reescritura para la implementación eficiente de lenguajes de programación. Universidad de Buenos Aires. 2011-2014.
  7. PUNQ 1011/11. Técnicas rigurosas para el desarrollo de software confiable. Universidad Nacional de Quilmes. 2011-2012.
Alejandro Ríos
rios@dc.uba.ar
Alejandro Díaz-Caro
adiazcaro@icc.fcen.uba.ar
Instituto de Ciencias de la Computación
FCEN, Universidad de Buenos Aires
Pabellón 1, Ciudad Universitaria
C1428EGA Ciudad Autónoma de Buenos Aires
Argentina
Alejandro Díaz-Caro
alejandro.diaz-caro@unq.edu.ar
Carlos Lombardi
carlombardi@gmail.com
Depto. de Ciencia y Tecnología
Universidad Nacional de Quilmes
Roque Sáenz Peña 352
B1876BXD Bernal
Provincia de Buenos Aires, Argentina
Eduardo Bonelli
eabonelli@gmail.com
Department of Computer Science
Stevens Institute of Technology
1 Castle Point Terrace
Hoboken, NJ 07030, USA