

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

A. Bucciarelli, D. Kesner, A. Ríos, and A. Viso.
The Bang Calculus Revisited
In Proceedings of FLOPS 2020, to appear at LNCS, 2020.

B. Accattoli and A. DíazCaro.
Functional Pearl: The Distributive λCalculus
In Proceedings of FLOPS 2020, to appear at LNCS, 2020.

F. Olmedo and A. DíazCaro.
Runtime Analysis of Quantum Programs: A Formal Approach
Extended abstract at PLanQC. 2020.

A. DíazCaro, G. Dowek, and J. P. Rinaldi.
Two linearities for quantum computing in the lambda calculus
Postproceedings of TPNC'2017 at BioSystems 186:104012, 2019.

M. AyalaRincón, E. Bonelli, J. Edi, and A. Viso.
Typed path polymorphism
Theoretical Computer Science 781:111130, 2019.

A. DíazCaro and O. Malherbe.
A categorical construction for the computational definition of vector spaces (extended abstract)
Extended abstract at ACT 2019. 2019.

A. DíazCaro and G. Dowek.
Proof Normalisation in a Logic Identifying Isomorphic Propositions
In H. Geuvers, editor, Proceedings of FSCD 2019, volume 131 of Leibniz International Proceedings in Informatics (LIPIcs), article 14, 2019.

A. DíazCaro, M. Guillermo, A. Miquel, and B. Valiron.
Realizability in the Unitary Sphere
In Proceedings of LICS 2019, 2019.

P. Barenbaum and G. Ciruelos.
Factoring Derivation Spaces via Intersection Types
In S. Ryu, editor, Proceedings of APLAS 2018, volume 11275 of Lecture Notes in Computer Science, pages 2244, 2018.

A. DíazCaro and M. Villagra.
Classically timecontrolled quantum automata
In C. MartínVide, M. O'Neill, and M.A. VegaRodríguez, editors, Proceedings of TPNC 2018, volume 11324 of Lecture Notes in Computer Science, pages 266278, 2018.

A. DíazCaro and O. Malherbe.
A concrete categorical semantics for LambdaS
In Proceedings of LSFA 2018, volume 344 of Electronic Notes in Theoretical Computer Science, pages 83100, 2019.

P. Barenbaum, E. Bonelli, and K. Mohamed.
Pattern Matching and Fixed Points: Resource Types and Strong CallByNeed.
In D. Sabel, editor, Proceedings of PPDP 2018, ACM, Article 6, 2018.

D. Kesner, A. Ríos, and A. Viso.
Callbyneed, neededness and all that.
In C. Baier and U. Dal Lago, editors, Proceedings of FoSSaCS 2018, volume 10803 of Lecture Notes in Computer Science, pages 241257, 2018.

J. Edi, A. Viso, and E. Bonelli.
Efficient type checking for path polymorphism.
In T. Uustalu, editor, Postproceedings of TYPES 2015, volume 69 of Leibniz International Proceedings in Informatics (LIPIcs), pages 6:16:23, 2018.

A. DíazCaro and G. Dowek.
Typing quantum superpositions and measurement.
In C. MartínVide, R. Neruda, and M. A. VegaRodríguez, editors, Proceedings of TPNC 2017, volume 10687 of Lecture Notes in Computer Science, pages 281293, 2017.

A. DíazCaro.
A lambda calculus for density matrices with classical and probabilistic controls.
In B.Y. E. Chang, editor, Proceedings of APLAS 2017, volume 10695 of Lecture Notes in Computer Science, pages 448467, 2017.

A. DíazCaro and G. Martínez.
Confluence in probabilistic rewriting.
In S. Alves and R. Wassermann, editors, Preproceedings of LSFA 2017, volume 338 of Electronic Notes in Theoretical Computer Science, pages 115131, 2018.

P. Arrighi, A. DíazCaro, and B. Valiron.
The vectorial lambdacalculus.
Information and Computation, 254(1):105139, 2017.

E. Bonelli, D. Kesner, C. Lombardi, and A. Ríos.
On abstract normalisation beyond neededness.
Theoretical Computer Science, 672:3663, 2017.

M. Coppo, M. DezaniCiancaglini, A. DíazCaro, I. Margaria, and M. Zacchi.
Retractions in intersection types.
In N. Kobayashi, editor, Proceedings of ITRS 2016, volume 242 of Electronic Proceedings in Theoretical Computer Science, pages 3147, 2017.

A. Viso, E. Bonelli, and M. AyalaRincón.
Type soundness for path polymorphism.
In M. Benevides and R. Thiemann, editors, Proceedings LSFA 2015, volume 323 of Electronic Notes in Theoretical Computer Science, pages 235251, 2016.

A. DíazCaro and A. Yakaryılmaz.
Affine computation and affine automaton.
In A. Kulikov and G. Woeginger, editors, Proceedings of CSR 2016, volume 9691 of Lecture Notes in Computer Science, pages 146160, 2016.

A. DíazCaro and P. E. Martínez López.
Isomorphisms considered as equalities: Projecting functions and enhancing partial application through an implementation of λ^{+}.
In R. Lammel, editor, Proceedings of IFL 2015, ACM, pages 9:19:11, 2015.

F. Bavera and E. Bonelli.
Justification logic and audited computation.
Journal of Logic and Computation, exv037, 2015.

B. Accattoli, P. Barenbaum, and D. Mazza.
A strong distillery.
In X. Feng and S. Park, editors, Proceedings of APLAS 2015, volume 9458 of Lecture Notes in Computer Science, pages 231250, 2015.

A. Assaf, A. DíazCaro, S. Perdrix, C. Tasson, and B. Valiron.
Callbyvalue, callbyname and the vectorial behaviour of the algebraic λcalculus.
Logical Methods in Computer Science, 10(4:8), 2014.

B. Accattoli, P. Barenbaum, and D. Mazza.
Distilling abstract machines.
In M. W. Bailey, R. Balasubramonian, A. Davis, and S. Adve, editors, Proceedings of ICFP 2014, volume 49(9) of ACM SIGPLAN Notices, pages 363376, 2014.

C. Lombardi, A. Ríos, and R. de Vrijer.
Proof terms for infinitary rewriting.
In G. Dowek, editor, Proceedings of RTA 2014, volume 8560 of Lecture Notes in Computer Science, pages 303318, 2014.

E. Bonelli and G. Steren.
Hypothetical logic of proofs.
Logica Universalis, 8(1):103140, 2014.

B. Accattoli, E. Bonelli, D. Kesner, and C. Lombardi.
A nonstandard standardization theorem.
In M. W. Bailey, editor, Proceedings of POPL 2014, volume 49(1) of ACM SIGPLAN Notices, pages 659670, 2014.

G. Steren and E. Bonelli.
Intuitionistic hypothetical logic of proofs.
In V. de Paiva, M. Benevides, V. Nigam, and E. Pimentel, editors, Proceedings of IMLA 2013, volume 300 of Electronic Notes in Theoretical Computer Science, pages 89103, 2014.

E. Bonelli, D. Kesner, C. Lombardi, and A. Rios.
Normalisation for dynamic pattern calculi.
In A. Tiwari, editor, Proceedings of RTA 2012, volume 15 of Leibniz International Proceedings in Informatics (LIPIcs), pages 117132, 2012.

E. Bonelli and F. Feller.
Justification logic as a foundation for certifying mobile computation.
Annals of Pure and Applied Logic, 163(7):935950, 2012.

D. Kesner, C. Lombardi, and A. Ríos.
A standardisation proof for algebraic pattern calculi.
In E. Bonelli, editor, Proceedings HOR 2010, volume 49 of Electronic Proceedings in Theoretical Computer Science, pages 5872, 2011.

A. Mendelzon, A. Ríos, and B. Ziliani.
Swapping: a natural bridge between named and indexed explicit substitution calculi.
In E. Bonelli, editor, Proceedings HOR 2010, volume 49 of Electronic Proceedings in Theoretical Computer Science, pages 115, 2011.

A. Arbiser, A. Miquel, and A. Ríos.
The λcalculus with constructors: Syntax, confluence and separation.
Journal of Functional Programming, 19(5):581631, 2009.

Directors

Researchers

PhD Students

Eduardo Bonelli

Alejandro Ríos

Alejandro DíazCaro

Carlos Lombardi

Pablo Barenbaum

Andrés Viso


Undergraduate Students

Teodoro Freund

Ignacio Grima

Malena Ivnisky

Federico Lochbaum

Nicolás Monzón

Francisco Noriega

Lucas Romero

Cristian Sottile


Former Students

Agustín Borgna

Alan Rodas Bonjour

Gonzalo Ciruelos

Juan Pablo Rinaldi

Juan Edi

Gabriela Steren


Collaborators
 Beniamino Accattoli (Inria Parcifal, France)
 Pablo Arrighi (AixMarseille Université, France)
 Mauricio Ayala Rincón (Universidade de Brasília, Brazil)
 Gilles Dowek (Inria & LSV, ENSCachan, France)
 Delia Kesner (Université ParisDiderot, France)
 Octavio Malherbe (Universidad de la República, Uruguay)
 Pablo E. Martínez López (Universidad Nacional de Quilmes, Argentina)
 Simon Perdrix (LORIA, France)
 Benoît Valiron (CentraleSupélec & Université ParisSud, France)
 Marcos Villagra (Universidad Nacional de Asunción, Paraguay)
 Roel de Vrijer (Vrije Universiteit, The Netherlands)


Recent and upcomming events
 January 15, 2020. Cristian Sottile has been granted with a CONICET scholarship to do his PhD thesis at UBA within LoReL, under the direction of Alejandro DíazCaro and Pablo E. Martínez López, starting in April 2020.
 January 15, 2020. Lucas Romero has been granted with a CONICET scholarship to do his PhD thesis at UBA within LoReL, under the direction of Alejandro DíazCaro and Octavio Malherbe, starting in April 2020.
 October 11, 2019. Alejandro DíazCaro gives a seminar at BALogic.
 September 13, 2019. Pierre Vial gives a seminar at ICC.
 September 12, 2019. Alejandro DíazCaro gives a science popularization talk about quantum computing at Semana de la computación. ExactasUBA.
 September 8 to 22, 2019. Alejandro Ríos visits Antinio Bucciarelli and Delia Kesner at IRIF, France.
 September 5 to October 5, 2019. Andrés Viso visits Antinio Bucciarelli and Delia Kesner at IRIF, France.
 September 2 to 6, 2019. Alejandro DíazCaro visits Octavio Malherbe at UdelaR, Uruguay.
 August 20, 2019. The eighth LoCIC meeting is taking place at FIUBA.
 August 1st, 2019. Agustín Borgna defends his Licenciatura thesis (eq. Masters in the EU) at Universidad de Buenos Aires, supervised by Alejandro DíazCaro.
 July 2, 2019. ICC has been chosen to organize FSCD 2021. Alejandro DíazCaro will be the chair of the organisation committee.
 June 19, 2019. Alejandro DíazCaro visits Delia Kesner and Beniamino Accattoli at IRIF, France.
 June 17, 18, 20, and 21, 2019. Alejandro DíazCaro visits Gilles Dowek at LSV, France.
 June 11 to 14, 2019. Alejandro DíazCaro visits Benoît Valiron at LRI, France.
 May 22 to 24, 2019. The second FunLeP meeting is taking place at UNQ.
 May 14 to 17, 2019. Alejandro DíazCaro visits Alexandre Miquel and Benoît Valiron (who is visiting) at Universidad de la Repúbica, Montevideo, Uruguay.
 May 2nd, 2019. We have a day of LoReL team, with talks by all the Ph.D. and Masters students.
 April 9 to 14, 2019. Alejandro DíazCaro visits Octavio Malherne at Universidad de la Repúbica, Montevideo, Uruguay.
 March 15th, 2019. Alejandro DíazCaro and Pablo Barenbaum give talks at the ICC day, Buenos Aires, Argentina.
 March 13th, 2019. Alejandro DíazCaro gives a talk at the V International Workshop on Quantum Mechanics and Quantum Information: Physical, Philosophical and Logical Perspectives at Universidad CAECE, Buenos Aires, Argentina.
 February 18 to 22, 2019. Alejandro DíazCaro gives a talk and a minicourse at the XI Summer Workshop in Mathematics at Universidade de Brasília, Brazil.
 January 16 to 27, 2019. Alejandro DíazCaro visits Federico Olmedo at Universidad de Chile, Santiago, Chile.
 December 3 to 20, 2018. Alejandro DíazCaro visits Gilles Dowek at ENS ParisCachan and Benoît Valiron at Université ParisSud, France.
 November 22, 2018. Alejandro DíazCaro gives a talk at the VIII Conference on Quantum Foundations: Quantum Logic & Quantum Structures, held at CAECE, Buenos Aires, Argentina.
 November 17 to December 16, 2018. Andrés Viso visits Delia Kesner and Antonio Bucciarelli at IRIF, Université Paris Diderot, France.
 November 17 to 30, 2018. Alejandro Ríos visits Delia Kesner and Antonio Bucciarelli at IRIF, Université Paris Diderot, France
 November 15, 2018. Malena Ivnisky gives a talk at a Master's seminar event at LRI about her master's thesis, France.
 November 12 to 24, 2018. Malena Ivnisky visits Benoît Valiron at Université ParisSud, France.
 October 27 to 30, 2018. Alejandro DíazCaro visits Octavio Malherbe at Universidad de la República, Uruguay.
 September 6, 2018. 6ta Jornada de Lógica, Computación e Información Cuántica takes place at ICC (ExactasUBA).
 August 17, 2018. 1er Encuentro de Fundamentos de Lenguajes de Programación (FunLeP) takes place at CIFASIS (Rosario). LoReL members are part of FunLeP organisation.
 July 216, 2018. Alejandro DíazCaro visits Marcos Villagra at NIDTEC, Universidad Nacional de Asunción, Paraguay.
 June 28, 2018. Gonzalo Ciruelos defends his licenciatura thesis (eq. masters in the eu) at universidad de buenos aires, supervised by Pablo Barenbaum.
 June 27, 2018. Juan Pablo Rinaldi defends his Licenciatura thesis (eq. Masters in the EU) at Universidad Nacional de Rosario, supervised by Alejandro DíazCaro.
 May 21, 2018. The Logic and Foundations of Programming Languages Day takes place at ExactasUBA.
 April 5, 2018. Agustín Borgna gives a seminar at Deducteam at LSV, ENS ParisSaclay, Cachan, France.
 April 2 to 6, 2018. Alejandro DíazCaro visits Deducteam at LSV, ENS ParisSaclay, Cachan, France.
 March 26 to 30, 2018. Alejandro DíazCaro visits ModHel at LRI Université ParisSaclay, Orsay, France.
 March 19 to 22, 2018. Alejandro DíazCaro gives a seminar at CVQT in Edinburgh, UK.
 March 9, 2018. Alejandro DíazCaro 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íazCaro visits LSV at ENSCachan, Paris.
 November, 2017. Andrés Viso visits IRIF at Université Paris Diderot, Paris.
 October 2527, 2017. Alejandro DíazCaro 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 2429, 2017. Alejandro DíazCaro gives a course at the ECI 2017 in Buenos Aires.
 April 25, 2017. Alejandro DíazCaro gives a seminar in the IFLP, La Plata.
 April 2021, 2017. Alejandro DíazCaro visits at Facultad de Ingeniería (UdelaR), Montevideo.
 April 312, 2017. Alejandro DíazCaro visits at ENSCachan, Paris.
 March 23, 2017. Jornada de lógica, computación e información cuántica takes place at UNQ.
 December 56, 2016. FoQCoSS Kickoff Workshop takes place at UNQ.
 October 2016. Alejandro DíazCaro 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íazCaro visits ENSCachan, Paris.
 Jan/Jul 2016. Alejandro DíazCaro 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íazCaro 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 56, 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 AyalaRincón visits Buenos Aires.
 October 2013. Delia Kesner visits UBA.
 Sept/Oct 2013. Roel de Vrijer visits UBA.
 July 2013. JeanJacques 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.
 911 Oct 2012. Beniamino Accattoli gives a short course on Linear Logic, Lambdacalculus, 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 AyalaRincón visits UNQ in the context of a STICAmSud 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 36, 2012.
 29 May 2012. Delia Kesner presents a joint paper at RTA 2012.
 2223 May 2012. Eduardo Bonelli gives a 4 hour short course on Normalisation for Dynamic Pattern Calculi at Universidad de Brasilia.

Recent and upcomming visitors
 February 1822, 2019. Octavio Malherbe.
 December 1620, 2019. Octavio Malherbe.
 November 26 to December 6, 2019. Gilles Dowek.
 November 1322, 2019. Simon Perdrix.
 November 822, 2019. Delia Kesner.
 October 1425, 2019. Ivan Marquez.
 September 9 to October 4, 2019. Pierre Vial.
 August 20 to September 30, 2019. Nely PlataCésar.
 July 2227, 2019. Pablo Arrighi and Beniamino Accattoli.
 July 1st to 12, 2019. Federico Olmedo.
 April 2629, 2019. Octavio Malherbe.
 April 822, 2019. Delia Kesner and Antonio Bucciarelli
 March 1114, 2019. Marcos Villagra.
 February 26 to March 1, 2019. Octavio Malherbe.
 September 2023, 2018. Octavio Malherbe.
 September 6, 2018. Marcos Villagra and Alexandre Miquel.
 September 111, 2018. Delia Kesner.
 July 23 to August 3, 2018. Gilles Dowek.
 June 1619, 2018. Octavio Malherbe.
 May 1822, 2018. Alexandre Miquel and Mauricio Guillermo.
 May 1427, 2018. Delia Kesner and Antonio Bucciarelli.
 May 1425, 2018. Benoît Valiron.
 April 1922, 2018. Octavio Malherbe.
 January 2226, 2018. Octavio Malhebre.
 November 89, 2017. Marcos Villagra.
 October 1215, 2017. Octavio Malherbe.
 September 1322, 2017. Delia Kesner.
 July 1021, 2017. Simon Perdrix.
 June 2230, 2017. Gilles Dowek.
 May 414, 2017. Delia Kesner.
 March 2326, 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 56, 2014. Delia Kesner.
 November 2014. Jose Santos.
 September 2014. Delia Kesner.
 August 2014. Thibaut Balabonski.
 May 516, 2014. Delia Kesner and Antonio Bucciarelli.
 November 2013. Mauricio AyalaRincon.
 October 2013. Delia Kesner visited UBA.
 Sept/Oct 2013. Roel de Vrijer visited UBA.
 July 2013. JeanJacques 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 STICAmSud cooperation project.

 September 10, 2019. Pierre Vial will give us an overview on his work with a talk entitled An introduction to idempotent or not intersection types
 July 8, 2015. Abuzer Yakaryilmaz will give us some insight on his research line with his talk entitled 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 AyalaRincon entitled Static Typing for Path Polymorphism
 February 18, 2015. Bernard Serpette will give us some insight on his recent work entitled Computing with collaborative side effects
 November 26, 2014. Nicolás Passerini and Pablo Tesone will introduce us to this recent work on An Extensible Constraintbased Type Inference Algorithm for ObjectOriented Dynamic Languages Supporting Blocks and Generic Types
 November 12, 2014. Jose Santos will tell us about his work on information flow analysis entitled Enforcing Secure Information Flow in Clientside Web Applications.
 October 29, 2014. Carlos Lombardi will give us some insight on his PhD thesis entitled Reduction Space for NonSequential and Infinitary Rewriting Systems.
 October 1 & 15, 2014. Alejandro DíazCaro 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 AyalaRincó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 Lowlevel Concurrent Program Optimisations
 June 13, 2014. Eduardo Bonelli will present us some recent work by Beniamino Accattoli and Ugo Dal Lago entitled 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 AyalaRincon entitled Typing a Calculus of Patterns Supporting Path Polymorphism.
 August 23, 2013. Ioana Cristescu presents her joint work with Jean Krivine and Daniele Varacca entitled A Compositional Semantics For The Reversible Picalculus.
 July 25, 2013. JeanJacques 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 entitled 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
 PUNQ 1342/19. Fundamentos de lenguajes de programación: sistemas de pruebas y computación cuántica. Universidad Nacional de Quilmes. 20192021.
 ECOS Sud A17C01. Semantics and implementation of functional programming. 20182020.
 ECOS Sud A17C03. Quantum calculi. 20182020.
 PICT 20151208. Fundamentos de lenguajes de programación cuántica: hacia una lógica computacional. MinCyT. 20172019.
 We participate in the LIA SINFIN, a FrenchArgentinean 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. 20192024.
Past projects
 PUNQ 1370/17. Fundamentos de lenguajes de programación cuánticos y sus consecuencias en sistemas clásicos. Universidad Nacional de Quilmes. 20172019.
 We participated in INFINIS, a FrenchArgentinean 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. 20132018.
 STICAmSud. 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é AixMarseille, CentraleSupélec/LRI. 20162017.
 PUNQ 1425/15. Fundamentos de lenguajes de programación cuánticos y sus consecuencias en sistemas clásicos. Universidad Nacional de Quilmes. 20152017.
 PUNQ 1416/15. Programación funcional: fundamentos revisados. Universidad Nacional de Quilmes. 20152016.
 ECOS Sud. Dinámica De Cálculos De Sustituciones Explícitas A Distancia.
 STICAmSud. Formal Development of Computer Programs and Applications. Argentina: Universidad Nacional de Quilmes. Brazil: Universidade de Brasília. France: Laboratoire PPS, Université Paris VII. 20122013.
 UBACyT 20020100100372 Diversas extensiones de sistemas de reescritura para la implementación eficiente de lenguajes de programación. Universidad de Buenos Aires. 20112014.
 PUNQ 1011/11. Técnicas rigurosas para el desarrollo de software confiable. Universidad Nacional de Quilmes. 20112012.

Alejandro Ríos
rios@dc.uba.ar
Alejandro DíazCaro
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íazCaro
alejandro.diazcaro@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








