QuICC: Quantum Information, Computation, and Communication team, is a research group at ICC (UBA/CONICET). The topics of interest include:

• Informational measures of non-classical correlations
• Nonlocality
• Quantum algorithms
• Quantum foundations
• Computability and quantum computing
• Foundations of quantum programming languages (type theory, category theory, lambda calculus)

Latest publications

• A. Díaz-Caro and M. Villagra. Classically time-controlled quantum automata: Definition and properties
  The Computer Journal, to appear, 2024.
• C. Massri, G. Bellomo, H. Freytes, R. Giuntini, G. Sergioli, and G. M. Bosyk. LOCC convertibility of entangled states in infinite-dimensional systems
  New Journal of Physics, 26:063016, 2024.
• A. Díaz-Caro, G. Dowek, M. Ivnisky, and O. Malherbe. A linear proof language for second-order intuitionistic linear logic
  In Proceedings of WoLLIC 2024, volume 14672 of Lecture Notes in Computer Science, pages 18-35, 2024.
• A. Díaz-Caro and G. Dowek. A linear linear lambda-calculus
  Mathematical Structures in Computer Science, First View, pages 1-35, 2024.
• A. Díaz-Caro and O. Malherbe. A concrete model for a typed linear algebraic lambda calculus
  Mathematical Structures in Computer Science, 34(1):1-40, 2023.

• A. Díaz-Caro and G. Dowek. A New Connective in Natural Deduction, and its Application to Quantum Computing
  Theoretical Computer Science, 957:113840, 2023.
• A. Borgna and R. Romero. Encoding High-level Quantum Programs as SZX-diagrams
  In Proceedings of QPL 2022, volume 394 of Electronic Proceedings in Theoretical Computer Science, pages 141-169, 2022.
• A. Díaz-Caro and G. Dowek. Linear lambda calculus is linear
  In Proceedings of FSCD 2022, at LIPIcs 228:21, 2022.
• R. Romero and A. Díaz-Caro. A note on confluence in typed probabilistic lambda calculi
  In Proceedings of LSFA 2021, volume 357 of Electronic Proceedings in Theoretical Computer Science, pages 18-24, 2021.
• A. Díaz-Caro. A quick overview on the quantum control approach to the lambda calculus
  In Proceedings of LSFA 2021 (invited paper), volume 357 of Electronic Proceedings in Theoretical Computer Science, pages 1-17, 2021.
• I. Perito, G. Bellomo, D. Galicer, S. Figueira, A. J. Roncaglia, and A. Bendersky. Characterization of non-signaling correlations from mutual information
  Physical Review A 103(6), 062216, 2021.
• A. Díaz-Caro and G. Dowek. A New Connective in Natural Deduction, and its Application to Quantum Computing
  In Procedings of ICTAC 2021, volume 12819 of Lecture Notes in Computer Science, pages 175-193, 2021.
• I. Perito, G. Bellomo, D. Galicer, S. Figueira, A. J. Roncaglia, and A. Bendersky. Impossibility of memory in hidden-signaling models for quantum correlations
  Physical Review A 102, 052207, 2020.
• C. Massri, G. Bellomo, F. Holik, and G.M. Bosyk. Extremal elements of a sublattice of the majorization lattice and approximate majorization
  Journal of Physics A: Mathematical and Theoretical 53:215305, 2020.
• A. Díaz-Caro and O. Malherbe. A Categorical Construction for the Computational Definition of Vector Spaces
  Applied Categorical Structures 28(5):807-844, 2020.
• F. Olmedo and A. Díaz-Caro. Runtime Analysis of Quantum Programs: A Formal Approach
  Extended abstract at PLanQC. 2020.
• G.M. Bosyk, G. Bellomo, F. Holik, H. Freytes, G. Sergioli. Optimal common resource in majorization-based resource theories
  New Journal of Physics 21:083028, 2019.
• A. Díaz-Caro, G. Dowek, and J. P. Rinaldi. Two linearities for quantum computing in the lambda calculus
  Postproceedings of TPNC'2017 at BioSystems 186:104012, 2019.
• A. Díaz-Caro, M. Guillermo, A. Miquel, and B. Valiron. Realizability in the Unitary Sphere
  In Proceedings of LICS 2019, 2019.
• A. Díaz-Caro and O. Malherbe. A concrete categorical semantics for Lambda-S
  In Proceedings of LSFA 2018, volume 344 of Electronic Notes in Theoretical Computer Science, pages 83-100, 2019.
• I. Perito, A.J. Roncaglia, and A. Bendersky. Selective and efficient quantum process tomography in arbitrary finite dimension
  Physical Review A 98(6):062303, 2018.
• BIG Bell Test Collaboration (A. Bendersky). Challenging local realism with human choices.
  Nature 557(7704):212-216, 2018.
• M. Portesi, F. Holik, P.W. Lamberti, G.M. Bosyk, G. Bellomo, and S. Zozor. Generalized entropies in quantum and classical statistical theories
  The European Physical Journal Special Topics 227:335-344, 2018.
• G.M. Bosyk, H. Freytes, G. Bellomo, and G. Sergioli. The lattice of trumping majorization for 4D probability vectors and 2D catalysts
  Scientific reports 8:3671, 2018.
• I. H. López Grande, . Senno, G de la Torre, M. A. Larotonda, A. Bendersky, S. Figueira, and A. cín. Distinguishing computable mixtures of quantum states
  Physical Review A 97:052306, 2018.
• A. Díaz-Caro and M. Villagra. Classically time-controlled quantum automata
  In C. Martín-Vide, M. O'Neill, and M.A. Vega-Rodríguez, editors, Proceedings of TPNC 2018, volume 11324 of Lecture Notes in Computer Science, pages 266-278, 2018.
• G. Bellomo, G.M. Bosyk, F. Holik, and S. Zozor. Lossless quantum data compression with exponential penalization: an operational interpretation of the quantum Rényi entropy
  Scientific reports 7:14765, 2017.
• G.M. Bosyk, G. Sergioli, H. Freytes, F. Holik, and G. Bellomo. Approximate transformations of bipartite pure-state entanglement from the majorization lattice
  Physica A: Statistical Mechanics and its Applications 473:403-411, 2017.
• A. Plastino, G. Bellomo, and A.R. Plastino. On the relative character of quantum correlations
  Chapter 11 of What is Quantum Information?, edited by O. Lombardi, S. Fortin, F. Holik and C. López, Cambridge U. Press, 2017.
• G. Bellomo. Repercusiones cuánticas de los estados clásicamente correlacionados
  PhD Thesis. Universidad Nacional de La Plata, 2017.
• G. Senno. A computer-theoretical outlook on foundations of quantum information
  PhD Thesis. Universidad de Buenos Aires. 2017.
• A. Bendersky, G. Senno, G. de la Torre, S. Figueira, and A. Acín. Non-signaling deterministic models for non-local correlations have to be uncomputable
  Physical Review Letters, 118, 130401, 2017.
• A. Díaz-Caro and G. Dowek. Typing quantum superpositions and measurement.
  In C. Martín-Vide, R. Neruda, and M. A. Vega-Rodríguez, editors, Proceedings of TPNC 2017, volume 10687 of Lecture Notes in Computer Science, pages 281-293, 2017.
• A. Díaz-Caro. 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 448-467, 2017.
• A. Díaz-Caro 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 115-131, 2018.
• P. Arrighi, A. Díaz-Caro, and B. Valiron. The vectorial lambda-calculus.
  Information and Computation, 254(1):105-139, 2017.
• G.M. Bosyk, G. Bellomo, S. Zozor, M. Portesi, and P.W. Lamberti. Unified entropic measures of quantum correlations induced by local measurements
  Physica A: Statistical Mechanics and its Applications 462:930-939, 2016.
• G. Bellomo, A. Plastino, and A.R. Plastino. Quantumness and the role of locality on quantum correlations
  Physical Review A 93(6):062322, 2016.
• G. Senno, A. Bendersky, and S. Figueira. Randomness and non-locality
  Fluctuations and Noise Letters 15, 1640005, 2016.
• A. Bendersky, G. de la Torre, G. Senno, S. Figueira, and A. Acín. Algorithmic pseudorandomness in quantum setups
  Physical Review Letters 116, 230402, 2016.
• A. Díaz-Caro 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 146-160, 2016.

Google calendar with the links to the talks.

Upcoming seminar talks

• No seminar planed

Past talks

• November 7, 2023 Pablo Arrighi and Alejandro Díaz-Caro. Moderator: Ignacio Uman: Café de las Ciencias: computadora cuántica, ¿la computadora definitiva?
• November 8, 2023 Pablo Arrighi (LMF, Université Paris-Saclay): ¿Cuál es la diferencia entre el pasado y el futuro? (o "un modelo de juguete con flecha del tiempo demostrable sin hipótesis de pasado"). (hide)
  

  Las leyes de la Física son reversibles en el tiempo: no distinguen, cualitativamente hablando, el pasado del futuro. Sin embargo, sólo podemos ir hacia el futuro. Esta aparente contradicción se conoce como el "problema de la flecha del tiempo". Su resolución actual afirma que el futuro es la dirección del aumento de la entropía. Pero la entropía sólo puede aumentar hacia el futuro si ha sido baja en el pasado, y la baja entropía en el pasado es una suposición muy fuerte, porque los estados de baja entropía son totalmente improbables, no genéricos. No obstante, trabajos recientes de la literatura de Física sugieren que podemos deshacernos de dicha "hipótesis del pasado", en presencia de leyes dinámicas reversibles que presenten expansión. Demostramos que éste es el caso, para un modelo de juguete basado en la reescritura sincrónica de grafos. Consiste en grafos en los que las partículas circulan e interactúan según reglas locales reversibles. Algunas reglas achican o expanden localmente el grafo. Los estados genéricos siempre se expanden; la entropía siempre aumenta, ofreciendo así una explicación local de la flecha del tiempo. Este marco discreto permite desplegar todo el rigor de las técnicas de prueba de las ciencias de la computación.

  11hs, sala 1403, Pabellón Cero + Infinito.
• August 1st, 2022 Giuseppe Di Molfetta (Aix-Marseille Université, France): Quantum walks based simulations.
• November 25, 2020 Gustavo Martin Bosyk (IFLP - CONICET/UNLP, Argentina): Vector de coherencia generalizado: definición y propiedades. (hide)
  

  Uno de los principales problemas de cualquier teoría de recursos cuánticos es la caracterización de las conversiones entre recursos mediante las operaciones libres de la teoría. En esta charla discutiré sobre este problema dentro de la teoría de recursos de la coherencia cuántica. En particular, introduciré una noción de vector de coherencia generalizado para un estado cuántico arbitrario. Mostraré que este vector de coherencia caracteriza completamente las nociones de ser incoherente, así como la de ser máximamente coherente. Además, explotando propiedades del retículo de mayorización, mostraré una condición necesaria para la conversión de estados cuánticos generales mediante operaciones incoherentes. Finalmente, mostraré como obtener una nueva familia de cuantificadores de coherencia basada en el vector de coherencia generalizado.

• November 18, 2020 Salvador Venegas-Andraca (Tecnológico de Monterrey, Mexico): Introducción a las caminatas cuánticas. (hide)
  

  En esta plática conversaremos sobre los orígenes computacionales de las caminatas cuánticas, los tipos de caminatas cuánticas empleadas en el desarrollo de algoritmos cuánticos, algunas diferencias importantes entre caminatas aleatorias y caminatas cuánticas para, finalmente, abordar algunos ejemplos de aplicaciones.

• November 4, 2020 Gabriel Senno (ICFO, Spain): Amplificación de aleatoriedad en un escenario semi-device-independent. (hide)
  

  En [T. van Himbeeck y S. Pironio, arXiv:1905.09117], los autores presentan un esquema para certificación de aleatoriedad en un escenario del tipo "preparar y medir" con una cota a la energía de los sistemas cuánticos preparados. En esta charla, basándome en lo desarrollado en [M. Kessler y R. Arnon-Friedman, IEEE JSAIT vol. 1, no. 2, pp. 568-584] para el escenario device-independent, voy a presentar un protocolo para certificar amplificación de aleatoriedad de fuentes Santha-Vazirani con el esquema de van Himbeeck y Pironio. Numéricamente, observamos amplificación de aleatoriedad siempre que el bias de la fuente sea menor a 0.49. De esta forma, mejoramos lo conseguido hasta la fecha en el escenario semi-device-independent, ya que los protocolos actuales, basados en quantum random access codes y requiriendo un número mayor de mediciones, sólo toleran un bias menor a 0.18.

• October 14, 2020 Federico Holik (Instituto de Física de La Plata/CONICET, Argentina): Aspectos geométricos del problema de estimación de MaxEnt y sus aplicaciones a la teoría de la información cuántica. (hide)
  

  En esta charla revisaremos distintos aspectos geométricos del método de MaxEnt [1,2]. Prestaremos especial atención al caso en el que la información a priori está dada en términos de simetrías, y discutiremos su aplicación al problema de la estimación de estados cuánticos de múltiples qubits [3].

  1. F. Holik and A. Plastino, "Quantal effects and MaxEnt", Journal of mathematical physics, Vol. 53, N. 7, 073301, (2012).
  2. F. Holik, C. Massri and A. Plastino, "Geometric probability theory and Jaynes's methodology", International Journal of Geometric Methods in Modern Physics, 13 (03), 1650025 (2016).
  3. M. Losada, F. Holik, C. Massri and A. Plastino, "Solutions for the MaxEnt problem with symmetry constraints", Quantum Information Processing, Vol. 18, N. 9, 293 (2019).

  
  
• October 7, 2020 Ignacio Perito (UBA/CONICET, Argentina): Caracterización de las correlaciones no señalizantes a partir de la información mutua. (hide)
  

  La caracterización de las correlaciones admitidas por la naturaleza en términos de principios físicos o informacionales es uno de los principales problemas abiertos en el estudio de la no localidad. En esta charla nos centraremos en escenarios de Bell bipartitos y discutiremos una caracterización del conjunto de las correlaciones no señalizantes en términos de una representación bidimensional que involucra el máximo valor de una funcional de Bell y la información mutua entre las salidas de los dispositivos involucrados. En términos de estas cantidades, estudiaremos los bordes de los distintos subconjuntos de las correlaciones no señalizantes, poniendo especial atención a la frontera entre las correlaciones cuánticas y las post-cuánticas. También mostraremos evidencia numérica que sugiere que, en este contexto, la cota de Tsirelson emerge como una singularidad de la representación sin necesidad de recurrir al formalismo cuántico.

• September 30, 2020 Guido Bellomo (UBA/CONICET, Argentina): Teorías de recursos, información cuántica y mayorización. (hide)
  

  Supongamos un escenario de varios agentes, cada uno en su laboratorio y en poder de un subsistema físico. El objetivo es determinar qué estados globales puede adoptar el sistema conjunto una vez prescriptas las operaciones permitidas a los agentes. Este es el marco general que plantean las teorías cuánticas de recursos, un marco muy versátil para el estudio de diversas propiedades como la no localidad y el entrelazamiento, u otros tipos de correlaciones. Estos escenarios también demostraron su poder al permitirnos reinterpretar ciertos aspectos fundamentales de la cuántica. En muchas de estas teorías de recursos, la noción de mayorización, como relación de (pre)orden entre vectores de probabilidad, juega un rol importante. En esta charla voy a introducir aspectos generales de estas áreas de investigación y sus interacciones, para después mencionar algunos resultados más recientes.

• September 8, 2020 Ariel Bendersky (UBA/CONICET, Argentina): Secuencias de experimentos de Bell. (hide)
  

  La mecánica cuántica permite correlaciones entre sistemas distantes que superan a las permitidas por la física clásica. Esos correlaciones son habitualmente estudiadas desde un punto de vista estadístico a partir de la probabilidad multipartita condicionada entre las partes involucradas. En esta charla tomamos un enfoque distinto: en lugar de mirar probabilidades, analizaremos la secuencia de resultados que pueden obtenerse y sus propiedades sintácticas.

• September 1, 2020 Alejandro Díaz-Caro (UNQ & UBA/CONICET, Argentina): Lenguajes de programación con control cuántico: teoría de tipos, lógica y categorías. (hide)
  

  Dentro de la familia de lenguajes para computación cuántica existen dos approaches bien diferenciados: Por un lado están los lenguajes con "control clásico", que llevan un flujo de control estándar del proceso de cómputo que es el que decide qué operaciones aplicar sobre cuales qubits, recupera el resultado de las mediciones y actúa en consecuencia. Por otro lado están los de "control cuántico", en donde se describe el flujo de control que ocurre en la computadora cuántica en sí, permitiendo describir una superposición en la misma estructura de control y estudiar dispositivos complejos como el quantum switch. En esta charla haré un recuento del área de investigación, y en particular de los fundamentos de lenguajes de programación, que se estudian con extensiones al cálculo lambda, teoría de tipos y sus modelos categóricos.

• August 25, 2020 Santiago Figueira (UBA/CONICET, Argentina): Una perspectiva teórico-computacional sobre los fundamentos de la no-localidad. (hide)
  

  La aleatoriedad es una propiedad fundamental de la mecánica cuántica. La no-localidad es un fenómeno (explicado por la mecánica cuántica) por el cual la medición en un sistema puede determinar instantáneamente los resultados de otra medición en otro sistema, distante del primero. Para probar que (tal vez a contramano de nuestra intuición) la naturaleza es no-local se requiere de la aleatoriedad. Pero, ¿de dónde sacamos aleatoriedad? En los laboratorios se usan computadoras que generan números pseudo-aleatorios. ¿Qué pasa cuando en los experimentos de no-localidad reemplazamos la verdadera aleatoriedad por pseudo-aleatoriedad? ¿Podemos todavía concluir que la naturaleza es no-local? ¿O existirán explicaciones alternativas pero locales, consistentes con los datos del experimento? En esta charla, les cuento algunas interacciones interesantes entre la no-localidad y los escenarios de Bell por un lado y la inferencia inductiva y la computabilidad por otro.

Recent and upcoming events

• August 12-23, 2024 Alejandro Díaz-Caro will be at Universidad de la República, working with Octavio Malherbe.
• July 15-19, 2024 QPL 2024 will be held at Buenos Aires, organised by our team.
• July 1-5, 2024 Alejandro Díaz-Caro, Malena Ivnisky, and Rafael Romero will participate as speakers from the 20th Latin American Symposium on Mathematical Logic, at Piriápolis, Uruguay
• June 1st, 2024 A Marie Sklodowska-Curie Action "Staff Exchanges" grant has been awarded to several members of the QuICC team, involving 12 participating institutions from Argentina, Uruguay, France, and Italy. The project, called QCOMICAL: Quantum Computing and Its Calculi, is set to start in December 2024 and will run for 4 years.
• May 11 to June 9, 2024 Alejandro Díaz-Caro is visiting Université Paris-Saclay, as an invited profesor by CentraleSupélec, to work with Benoît Valiron and Vladimir Zamdzhiev from the Quacs team, and Gilles Dowek from the Deducteam team.

• February, 2024 Alejandro Díaz-Caro visits Universidad de la República, to work with Octavio Malherbe.
• December 20, 2023 Martín Villagra defends his Licenciatura thesis at Universidad de Rosario, supervised by Alejandro Díaz-Caro and Pablo E. Martínez López.
• November 13 to December 17, 2023 Alejandro Díaz-Caro will be at LORIA as "invited researcher", working with the team Moqcua.
• August 28 to September 9, 2023 Alejandro Díaz-Caro is at Universidad de la República, woring with Octavio Malherbe.
• August 3, 2023 Nicolás San Martín defends his Licenciatura thesis at Universidad de Buenos Aires, supervised by Alejandro Díaz-Caro.
• June 22 to July 21, 2023. Alejandro Díaz-Caro is at INRIA as "invited professor", working with the teams QuACS, and DEDUCTEAM.
• April/May, 2023. Alejandro Díaz-Caro will be at CentraleSupélec as "invited professor", working with the teams QUACS, and DEDUCTEAM.
• March, 2023. Alejandro Díaz-Caro will be at Universidad de la República, woring with Octavio Malherbe.
• October 26, 2022. Alejandro Díaz-Caro gives a talk at JCC 2022. Universidad Nacional de Rosario.
• September, 2022. Rafael Romero visits the LMF lab to work with Agustín Borgna.
• September, 2022. Rafael Romero participates at PLanQC 2022 in Ljubljana, Slovenia.
• August, 2022. Malena Ivnisky visits the LMF lab to work with Benoît Valiron.
• August, 2022. Malena Ivnisky participates of FLoC in Haifa, Israel, as student volunteer.
• July, 2022. The QuICC team is accepted to organize the 21th International Conference on Quantum Physics and Logic (QPL 2024) at Buenos Aires, with Alejandro Díaz-Caro as conference chair.
• June/July, 2022. Alejandro Díaz-Caro visits the LMF lab to work with Benoît Valiron and LORIA to work with Simon Perdrix.
• March-April 2022. Alejandro Díaz-Caro will visits Universidad de Chile to work with Federico Olmedo.
• November 2021. Alejandro Díaz-Caro, Malena Ivnisky, and Rafael Romero will visit the LMF at Paris-Saclay to work with Gilles Dowek, Benoît Valiron and Agustín Borgna financed by ECOS-Sud and the IRP SINFIN.
• October 2021. Alejandro Díaz-Caro gives a talk at the 106 Reunión Anual de Física (RAFA) at the Fundamentos e Información Cuántica Division.
• October 2021. Santiago Figueira gives an invited talk at WoLLIC 2021.
• September 21, 2021. Ariel Bendersky and Santiago Figueira obtained a PIP-CONICET project for the period 2021-2023.
• September 21, 2021. Alejandro Díaz-Caro and Mauro Jaskelioff obtained a PIP-CONICET project for the period 2021-2023.
• September 10, 2021. Alejandro Díaz-Caro and Gilles Dowek won the Best Paper Award (first place shared with another work) at ICTAC 2021 for their paper A New Connective in Natural Deduction, and its Application to Quantum Computing.
• July 2021. Alejandro Díaz-Caro has been elected member of the Steering Committee of FSCD for the period 2021-2024.
• June 4, 2021. Rafael Romero and Alejandro Díaz-Caro got a presentation accepted at LSFA 2021.
• June 1, 2021. Ariel Bendersky will give the openning talk at ECI 2021.
• May 29 2021. Malena Ivnisky got a presentation accepted at Women in Logic 2021.
• May 17 2021. Malena Ivnisky and Alejandro Díaz-Caro, toghether with Hernán Melgratti and Benoît Valiron, got a presentation accepted at TYPES 2021.
• May 7, 2021. Alejandro Díaz-Caro got two presentations accepted at QPL 2021, one with Octavio Malherbe and one with Gilles Dowek.
• April 15, 2021. Ariel Bendersky will be giving an invited tutorial at QPL 2021.
• April 15, 2021. Alejandro Díaz-Caro will give an invited talk at LSFA 2021.
• February 12, 2020. A new project PICT has been granted for the period 2021-2023. Directed by Federico Holik, and with Alejandro Díaz-Caro as a member.
• December 23, 2020. Ignacio Perito defends his PhD thesis at Universidad de Buenos Aires, supervised by Ariel Bendersky and Augusto Roncaglia. (Streaming link. Starts at 1:30pm ART)
• December 10, 2020. A new cooperation project has been stablished between QuICC members and Chile, Uruguay, and France. STIC-AmSud Project 21STIC10 "Qapla'". 2021-2022.
• December 1, 2020. Malena Ivnisky has been granted with a UBA scholarship to do his PhD thesis at UBA within QuICC, under the direction of Alejandro Díaz-Caro and Octavio Malherbe, starting in December 2020.
• October 15, 2020. Alejandro Díaz-Caro gives an interview to the radio show "El Faro - Un programa de ciencia" (FM Radio Noticias, Santa Rosa, La Pampa).
• August 28, 2020. Malena Ivnisky defends her Licenciatura thesis (eq. Masters in the EU) at Universidad de Buenos Aires, supervised by Alejandro Díaz-Caro and Hernán Melgratti.
• May 19, 2020. The new team QuICC officially begins.
• May 12, 2020. Alejandro Díaz-Caro gives a talk at FICH-UNL invited by the students union.
• May 4, 2020. Francisco Noriega defends his Licenciatura thesis (eq. Masters in the EU) at Universidad de Buenos Aires, supervised by Alejandro Díaz-Caro.
• April 6, 2020. Nicolás Ciangaglini defends his Licenciatura thesis (eq. Masters in the EU) at Universidad de Buenos Aires, supervised by Ariel Bendersky.
• April 1,2020 Rafael Romero officially starts his PhD fellowship.
• March 19, 2020. Rafael Romero defends his Licenciatura thesis (eq. Masters in the EU) at Universidad de Buenos Aires, supervised by Alejandro Díaz-Caro.
• January 15, 2020. Rafael Romero has been granted with a CONICET scholarship to do his PhD thesis at UBA within LoReL, under the direction of Alejandro Díaz-Caro and Octavio Malherbe, starting in April 2020.
• December, 2019. Santiago Figueira gives the talk "A computer-theoretical outlook on foundations of quantum information" at the XVIII Latin American Symposium on Mathematical Logic. Concepción, Chile.
• October 11, 2019. Alejandro Díaz-Caro gives a seminar at BA-Logic.
• September 12, 2019. Alejandro Díaz-Caro gives a science popularization talk about quantum computing at Semana de la computación. Exactas-UBA.
• September 2 to 6, 2019. Alejandro Díaz-Caro visits Octavio Malherbe at UdelaR, Uruguay.
• August 20, 2019. The eighth LoCIC meeting is taking place at FI-UBA.
• August 1st, 2019. Agustín Borgna defends his Licenciatura thesis (eq. Masters in the EU) at Universidad de Buenos Aires, supervised by Alejandro Díaz-Caro.
• June 17, 18, 20, and 21, 2019. Alejandro Díaz-Caro visits Gilles Dowek at LSV, France.
• June 11 to 14, 2019. Alejandro Díaz-Caro visits Benoît Valiron at LRI, France.
• May 14 to 17, 2019. Alejandro Díaz-Caro visits Alexandre Miquel and Benoît Valiron (who is visiting) at Universidad de la Repúbica, Montevideo, Uruguay.
• April 9 to 14, 2019. Alejandro Díaz-Caro visits Octavio Malherne at Universidad de la Repúbica, Montevideo, Uruguay.
• March 15th, 2019. Alejandro Díaz-Caro and Pablo Barenbaum give talks at the ICC day, Buenos Aires, Argentina.
• March 13th, 2019. Alejandro Díaz-Caro 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íaz-Caro gives a talk and a mini-course at the XI Summer Workshop in Mathematics at Universidade de Brasília, Brazil.
• January 16 to 27, 2019. Alejandro Díaz-Caro visits Federico Olmedo at Universidad de Chile, Santiago, Chile.
• December, 2018. Santiago Figueira gives the talk "A computer-theoretical outlook on foundations of quantum information" at the Computability, Complexity and Randomness. Santiago de Chile, Chile.
• December 3 to 20, 2018. Alejandro Díaz-Caro visits Gilles Dowek at ENS Paris-Cachan and Benoît Valiron at Université Paris-Sud, France.
• November 22, 2018. Alejandro Díaz-Caro gives a talk at the VIII Conference on Quantum Foundations: Quantum Logic & Quantum Structures, held at CAECE, Buenos Aires, Argentina.
• 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é Paris-Sud, France.
• October 27 to 30, 2018. Alejandro Díaz-Caro 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 (Exactas-UBA).
• July 2-16, 2018. Alejandro Díaz-Caro visits Marcos Villagra at NIDTEC, Universidad Nacional de Asunción, Paraguay.
• June 27, 2018. Juan Pablo Rinaldi defends his Licenciatura thesis (eq. Masters in the EU) at Universidad Nacional de Rosario, supervised by Alejandro Díaz-Caro.
• 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.

Recent and upcoming visitors

• January and may, 2024. Octavio Malherbe (UdelaR, Uruguay).
• November, 2023. Pablo Arrighi (U. Paris-Saclay, LMF, France).
• March, April, August, and October 2023. Octavio Malherbe (UdelaR, Uruguay).

• December 2022. Agustín Borgna (U Paris-Saclay & U Lorraine, France).
• November-December 2022. Romain Péchoux (LORIA, U Lorraine, France).
• November 2022. Octavio Malherbe (UdelaR, Uruguay).
• October 2022. Kostia Chardonnet (LMF, Paris-Saclay, France).
• September 2022. Octavio Malherbe (UdelaR, Uruguay).
• September 2022. Benoît Valiron (LRI, CentraleSupélec, Francia).
• July-August 2022. Giuseppe Di Molffeta (Aix Marseille Université, Francia).
• July 2022. Gilles Dowek (INRIA, U Paris-Saclay, Francia).
• March 2022. Octavio Malherbe (UdelaR, Uruguay).
• February 2021. Federico Olmedo (U de Chile, Chile).
• January 2021. Agustín Borgna (U Paris-Saclay & U Lorraine, France).
• January 2021. Simon Perdrix (CNRS & U Lorraine, France).
• December 2021. Octavio Malherbe (UdelaR, Uruguay).
• December 2021. Agustín Borgna (U Paris-Saclay & U Lorraine, France).
• November 2021. Delia Kesner (IRIF, U Paris-Diderot, France).
• November 2021. Gilles Dowek (Inria, U Paris-Saclay, France).
• December 16-20, 2019 and February 18-22, 2020. Octavio Malherbe (UdelaR, Uruguay).
• November 26 to December 6, 2019. Gilles Dowek (Inria & ENS-Paris-Saclay, France).
• November 13-22, 2019. Simon Perdrix (CNRS & LORIA, France).
• October 14-25, 2019. Ivan Marquez (AMU, France).
• August 20 to September 30, 2019. Nely Plata-César (UAEM, Mexico).
• July 22-27, 2019. Pablo Arrigh (AMU, France) and Beniamino Accattoli (Inria, France).
• July 1st to 12, 2019. Federico Olmedo (UChile, Chile).
• April 26-29, 2019. Octavio Malherbe (UdelaR, Uruguay).
• March 11-14, 2019. Marcos Villagra (UNA, Paraguay).
• September 20-23, 2018 and February 26 to March 1, 2019. Octavio Malherbe (UdelaR, Uruguay).
• September 6, 2018. Marcos Villagra (UNA, Paraguay) and Alexandre Miquel (UdelaR, Uruguay).
• July 23 to August 3, 2018. Gilles Dowek (Inria & ENS-Paris-Saclay, France).
• June 16-19, 2018. Octavio Malherbe (UdelaR, Uruguay).
• May 18-22, 2018. Alexandre Miquel and Mauricio Guillermo (UdelaR, Uruguay).
• May 14-25, 2018. Benoît Valiron (LRI, France).
• January 22-26 and April 19-22, 2018. Octavio Malherbe (UdelaR, Uruguay).

Current projects

1. HORIZON-MSCA-2023-SE 101182520. QCOMICAL: Quantum Computing and Its Calculi. European Commission. 2025-2028.
2. CNRS IRP SINFIN: Systems, verIfication, computiNg Foundations, logIque, laNguages. CNRS-CONICET. 2024-2029.
3. PICT-2021-I-A-00090. Computación cuántica y sus cálculos. MinCyT. 2023-2026.
4. PICT-2021-I-A-00838. Fundamentos de lenguajes de consulta para bases de datos estructuradas en forma de grafos. MinCyT. 2023-2026.
5. PICT 2019-1272. Estructuras lógicas y algebraicas vinculadas al procesamiento de la información cuántica. MinCyT. 2021-2024.
6. PIP 11220200100368CO. Fundamentos de lenguajes para computación cuántica y consecuencias en sistemas clásicos. CONICET. 2022-2024.
7. PIP 11220200101290CO. Procesamiento cuántico de la información y complejidad descriptiva. CONICET. 2022-2024.
8. PUNQ 2218/22. Fundamentos de lenguajes de programación: sistemas de pruebas y computación cuántica. Universidad Nacional de Quilmes. 2022-2025.

Past projects

1. CNRS IRP SINFIN: Systems, verIfication, computiNg Foundations, logIque, laNguages. CNRS-CONICET. 2019-2024.
2. STIC-AmSud. Qapla' - Quantum Aspects of Programming Languages. Argentina: Universidad Nacional de Quilmes and Universidad de Buenos Aires. Brazil: Universidade Federal de Santa Maria. France: INRIA, CNRS/LORIA, Université Aix-Marseille, CentraleSupélec/LRI. Chile: Universidad de Chile. Uruguay: Universidad de la República. 2021-2022.
3. UBACyT 20020190100021BA. Lenguajes expresivos para grafos con datos. UBA. 2020-2022.
4. PUNQ 1342/19. Fundamentos de lenguajes de programación: sistemas de pruebas y computación cuántica. Universidad Nacional de Quilmes. 2019-2021.
5. ECOS Sud A17C03. Quantum calculi. 2018-2020. Extended until 2021 due to the COVID-19 crisis.
6. PICT 2015-1208. Fundamentos de lenguajes de programación cuántica: hacia una lógica computacional. MinCyT. 2017-2019.
7. PUNQ 1370/17. Fundamentos de lenguajes de programación cuánticos y sus consecuencias en sistemas clásicos. Universidad Nacional de Quilmes. 2017-2019.
8. We participated 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.
9. 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.
10. PUNQ 1425/15. Fundamentos de lenguajes de programación cuánticos y sus consecuencias en sistemas clásicos. Universidad Nacional de Quilmes. 2015-2017.