INVESTIGADORES
DÍAZ CARO Alejandro
congresos y reuniones científicas
ALEJANDRO DÍAZ CARO; EMMANUEL HAINRY; ROMAIN PÉCHOUX; MÁRIO SILVA
A feasible and unitary programming language with quantum control (work-in-progress)
4th International Workshop on Programming Languages for Quantum Computing (PLanQC 2024)
Lugar: Londres; Año: 2024;
ALEJANDRO DÍAZ CARO
Control cuántico en lenguajes de programación para computación cuántica
Seminario del Instituto de Computación
Lugar: Montevideo; Año: 2024;
ALEJANDRO DÍAZ CARO; EMMANUEL HAINRY; ROMAIN PÉCHOUX; MÁRIO SILVA
Light types and polynomial time for quantum lambda-calculi (Poster presentation)
20th International Conference on Quantum Physics and Logic (QPL 2023)
Lugar: Paris; Año: 2023;
ALEJANDRO DÍAZ CARO; GILLES DOWEK; MALENA IVNISKY; OCTAVIO MALHERBE
Polymorphic L-S-calculus
6th Workshop on Women in Logic (WiL 2023)
Lugar: Roma; Año: 2023;
ALEJANDRO DÍAZ CARO
From intuitionistic linear logic to quantum computing
Séminaire de l'équipe QuACS
Lugar: Paris; Año: 2023;
ALEJANDRO DÍAZ CARO
Lenguajes de programación y lógica para computación cuántica
Coloquios del Departamento de Física
Lugar: Buenos Aires; Año: 2023;
ALEJANDRO DÍAZ CARO
A logical connective for non-determinism
Séminaire de l'équipe MOQCUA
Lugar: Nancy; Año: 2023;
DÍAZ CARO, ALEJANDRO
Computación cuántica y aplicaciones en criptografía
Seminario de seguridad
Lugar: Río Cuarto, Córdoba; Año: 2022;
DÍAZ CARO, ALEJANDRO
Un pantallazo sobre el control cuántico en cálculo lambda
XX Jornadas de Ciencias de la Computación (JCC 2022)
Lugar: Rosario; Año: 2022;
DÍAZ CARO, ALEJANDRO
An overview on the quantum control approach to the lambda calculus
Seminario del Departamento de Ciencias de la Computación de la UChile
Lugar: Santiago; Año: 2022;
DÍAZ CARO, ALEJANDRO
Fundamentos de lenguajes de programación cuánticos
Ciencias de la Computación, Café y Chocolate (4C)
Lugar: Buenos Aires; Año: 2022;
ALEJANDRO DÍAZ CARO; GILLES DOWEK
Linear lambda-calculus is linear
28th International Conference on Types for Proofs and Programs
Lugar: Nantes; Año: 2022;
ALEJANDRO DÍAZ CARO
Un nuevo conectivo lógico-computacional para describir la superposición cuántica
Comunicaciones Seguras: Métodos Cuánticos y Poscuánticos 2022
Año: 2022;
ALEJANDRO DÍAZ CARO
Sup: Un nuevo conectivo lógico para no determinismo
Seminario del Grupo de Lógica
Lugar: Montevideo; Año: 2022;
ALEJANDRO DÍAZ CARO
La lógica computacional de la física cuántica, el conectivo sup, y un cálculo lambda para ellos
XXI Jornadas de Ciencias de la Computación (JCC 2023)
Lugar: Rosario; Año: 2022;
RAFAEL ROMERO; ALEJANDRO DÍAZ CARO
A note on confluence in typed probabilistic lambda calculi
16th Logical and Semantics Frameworks with Applications
Año: 2021;
ALEJANDRO DÍAZ CARO
An overview on the quantum control approach to the lambda calculus
16th Logical and Semantics Frameworks with Applications
Año: 2021;
ALEJANDRO DÍAZ CARO; MALENA IVNISKY; HERNÁN MELGRATTI; BENOÎT VALIRON
A finite-dimensional model for affine, linear quantum lambda calculi with general recursion
27th International Conference on Types for Proofs and Programs
Lugar: Leiden; Año: 2021;
ALEJANDRO DÍAZ CARO
Un nuevo conectivo en deducción natural, y su aplicación a la computación cuántica
Seminarios de CUANTOS 2021
Lugar: https://sites.google.com/view/cuantos2020/actividad-satelite; Año: 2021;
ALEJANDRO DÍAZ CARO
Teoría de la Demostración en Computación Cuántica
IV Jornada de Investigadores en Formación en CyT
Lugar: Bernal; Año: 2021;
ALEJANDRO DÍAZ CARO; OCTAVIO MALHERBE
Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model
18th International Conference on Quantum Physics and Logic
Lugar: Gdańsk; Año: 2021;
ALEJANDRO DÍAZ CARO; GILLES DOWEK
A new connective in natural deduction, and its application to quantum computing
18th International Conference on Quantum Physics and Logic
Lugar: Gdańsk; Año: 2021;
ALEJANDRO DÍAZ CARO
Lenguajes de programación con control cuántico: teoría de tipos, lógica y categorías
Seminario QuICC
Lugar: CABA; Año: 2020;
ALEJANDRO DÍAZ CARO
Extensional proofs in a propositional logic modulo isomorphisms
Lógicos em Quarentena
Año: 2020;
FEDERICO OLMEDO; ALEJANDRO DÍAZ CARO
Runtime Analysis of Quantum Programs: A Formal Approach
PLanQC 2020: Programming Languages for Quantum Computing
Lugar: New Orleans, Louisiana; Año: 2020;
FEDERICO OLMEDO; ALEJANDRO DÍAZ CARO
Runtime Analysis of Quantum Programs: A formal approach
First International Workshop on Programming Languages for Quantum Computing (PLanQC 2020)
Lugar: New Orleans, Louisiana; Año: 2020;
ALEJANDRO DÍAZ CARO
Lambda cálculo como sistema de pruebas para una lógica de la computación cuántica
WIP Seminar
Lugar: CABA; Año: 2019;
ALEJANDRO DÍAZ CARO; OCTAVIO MALHERBE
A categorical construction for the computational definition of vector spaces
Applied Category Theory
Lugar: Oxford; Año: 2019;
ALEJANDRO DÍAZ CARO
A logic identifying isomorphic propositions
2do Encuentro de Fundamentos de Lenguajes de Programación (FunLeP)
Lugar: Bernal; Año: 2019;
ALEJANDRO DÍAZ CARO
Quantum lambda calculus with quantum control
V International Workshop on Quantum Mechanics and Quantum Information
Lugar: Ciudad Autónoma de Buenos Aires; Año: 2019;
ALEJANDRO DÍAZ CARO
A lambda calculus for quantum computation
XI Summer Workshop in Mathematics
Lugar: Brasilia; Año: 2019;
ALEJANDRO DÍAZ CARO
Two linearities for quantum computing in the lambda calculus
Combining Viewpoints in Quantum Theory
Lugar: Edimburgo; Año: 2018;
ALEJANDRO DÍAZ CARO
A lambda calculus for density matrices
Logic and Foundations of Programming Languages Day
Lugar: Buenos Aires; Año: 2018;
ALEJANDRO DÍAZ CARO
Algebraic lambda calculus as a base for a quantum logic
VII Jornadas de Fundamentos de Cuántica
Lugar: Ciudad Autónoma de Buenos Aires; Año: 2018;
ALEJANDRO DÍAZ CARO
Fundamentos de lenguajes de programación para computación cuántica
X Congreso Internacional de Computación y Telecomunicaciones
Lugar: Lima; Año: 2018;
ALEJANDRO DÍAZ CARO
Fundamentos de lenguajes de programación cuánticos
Workshop de Técnicas de Programación Científica
Lugar: Bernal; Año: 2018;
ALEJANDRO DÍAZ CARO
Control cuántico en lenguajes de programación
IV Jornada de Lógica, Computación e Información Cuántica
Lugar: Bernal; Año: 2018;
ALEJANDRO DÍAZ CARO; GILLES DOWEK
Poster: Typing quantum superpositions and measurement
15th Asian Symposium on Programming Languages and Systems (APLAS)
Lugar: Suzhou; Año: 2017;
ALEJANDRO DÍAZ CARO
A lambda calculus for density matrices
Séminaires de l'équipe DEDUCTEAM
Lugar: Cachan; Año: 2017;
ALEJANDRO DÍAZ CARO
Fuisionando paradigmas de lenguajes de programación cuánticos
XV Jornadas de Ciencias de la Computación
Lugar: Rosario; Año: 2017;
ALEJANDRO DÍAZ CARO
Cálculo lambda y computación cuántica
Seminario del Ciclo de Coloquios y Seminarios que organizan el Instituto de Física La Plata y el Departamento de Física.
Lugar: La Plata; Año: 2017;
ALEJANDRO DÍAZ CARO
Towards a quantum lambda-calculus with quantum control
V Congreso Latinoamericano de Matemáticos (CLAM)
Lugar: Barranquilla; Año: 2016;
ALEJANDRO DÍAZ CARO
Typing quantum superpositions and projective measurements
First FoQCoSS meeting
Lugar: Bernal; Año: 2016;
ALEJANDRO DÍAZ CARO; GILLES DOWEK
Quantum superpositions and projective measurements in the lambda calculus
Seminario del Dipartimento di Informatica UNITO
Lugar: Turín; Año: 2016;
ALEJANDRO DÍAZ CARO; ABUZER YAKARYILMAZ
Affine computation and affine automaton
Seminario del Dipartimento di Informatica UNITO
Lugar: Turín; Año: 2016;
ALEJANDRO DÍAZ CARO; PABLO E. MARTÍNEZ LÓPEZ
Isomorphisms considered as equalities: Projecting functions and enhancing partial application through and implementation of λ⁺
27th Symposium on Implementation and Application of Functional Languages
Lugar: Koblenz; Año: 2015;
ALEJANDRO DÍAZ CARO; GILLES DOWEK
Projective quantum measurement in the lambda calculus
Workshop of the INFINIS International Laboratory
Lugar: Buenos Aires; Año: 2015;
ALEJANDRO DÍAZ CARO
PCF with pairs and partial evaluation (work-in-progress)
Second Meeting of the French-Chinese ANR-NSFC project LOCALI
Lugar: París; Año: 2014;
ALEJANDRO DÍAZ CARO
Lambda cálculo modulo isomorfismos de tipos
XII Jornadas de Ciencias de la Computación
Lugar: Rosario; Año: 2014;
ALEJANDRO DÍAZ CARO; GILLES DOWEK
Simply typed lambda-calculus modulo type isomorphisms
20th Workshop Types for Proofs and Programs
Lugar: París; Año: 2014;
ALI ASSAF; ALEJANDRO DÍAZ CARO; SIMON PERDRIX; CHRISTINE TASSON; BENOÎT VALIRON
Poster: Call-by-value, call-by-name and the vectorial behaviour of the algebraic lambda-calculus
Jornadas franco-argentinas: 50 años de cooperación científica para la innovación
Lugar: Buenos Aires; Año: 2014;
ALEJANDRO DÍAZ CARO; GILLES DOWEK
Poster: Simply typed lambda-calculus modulo type isomorphisms
Jornadas franco-argentinas: 50 años de cooperación científica para la innovación
Lugar: Buenos Aires; Año: 2014;
ALEJANDRO DÍAZ CARO; GILLES DOWEK
Identifying isomorphic propositions
Journées LAC
Lugar: Créteil; Año: 2013;
ALEJANDRO DÍAZ CARO
Vectorial types, non-determinism and probabilistic systems: Towards a computational quantum logic
Quantum Computing in Nancy
Lugar: Nancy; Año: 2013;
ALEJANDRO DÍAZ CARO; GILLES DOWEK
Identifying isomorphic propositions
First Workshop of the French-Chinese ANR-NSFC project LOCALI
Lugar: Beijing; Año: 2013;
ALEJANDRO DÍAZ CARO; GILLES DOWEK
Equivalence on propositions and proofs
Logic and Interactions: quantitative approaches week
Lugar: Marseille; Año: 2012;
ALEJANDRO DÍAZ CARO; GIULIO MANZONETTO; MICHELE PAGANI
Poster: Logical interpretation of the non-determinism
Digiteo Annual Forum
Lugar: Palaiseau; Año: 2012;
ALEJANDRO DÍAZ CARO; GILLES DOWEK
An algebraic approach towards a quantum Curry-Howard
Rencontre LOGOI
Lugar: Marseille; Año: 2012;
ALEJANDRO DÍAZ CARO; PABLO ARRIGHI
Un sistema de tipos vectorial
IV Congreso Latinoamericano de Matemáticos
Lugar: Córdoba; Año: 2012;
ALEJANDRO DÍAZ CARO
On vectorial typing
18th workshop Types for Proofs and Programs
Lugar: Bergen; Año: 2011;
ALEJANDRO DÍAZ CARO; PABLO ARRIGHI; BENOÎT VALIRON
Subject reduction in a curry-style polymorphic type system with a vectorial space structure
Ninth Workshop on Quantitative Aspects of Programming Languages (QAPL 2011)
Lugar: Saarbrücken; Año: 2011;
ALEJANDRO DÍAZ CARO; PABLO BUIRAS; MAURO JASKELIOFF
Confluence via strong normalisation in an algebraic lambda-calculus with rewriting
1ere rencontre 2011 QuAND
Lugar: Marseille; Año: 2011;
ALEJANDRO DÍAZ CARO; BARBARA PETIT
Sums in algebraic lambda-calculi
17th workshop Types for Proofs and Programs
Lugar: Varsovia; Año: 2010;
ALEJANDRO DÍAZ CARO; BARBARA PETIT
An additive type system for the linear-algebraic lambda-calculus
CONCERTO final meeting
Lugar: Turín; Año: 2010;
ALEJANDRO DÍAZ CARO; BARBARA PETIT
An additive type system for the linear-algebraic lambda-calculus
1ere rencontre QuAND
Lugar: Marseille; Año: 2010;
ALEJANDRO DÍAZ CARO; SIMON PERDRIX; CHRISTINE TASSON; BENOÎT VALIRON
Equivalence of Algebraic lambda-calculi
5th International Workshop on Higher-Order Rewriting (HOR 2010)
Lugar: Edimburgo; Año: 2010;
ALEJANDRO DÍAZ CARO; PABLO ARRIGHI
A vectorial type system
2eme rencontre QuAND
Lugar: Lyon; Año: 2010;
ALEJANDRO DÍAZ CARO; PABLO ARRIGHI
A vectorial System F: work in progress
Journées GEOCAL-LAC
Lugar: Niza; Año: 2010;
ALEJANDRO DÍAZ CARO; SIMON PERDRIX; CHRISTINE TASSON; BENOÎT VALIRON
Equivalence of algebraic λ-calculus
5th International Workshop on Higher-Order Rewriting
Lugar: Edimburgo; Año: 2010;
ALEJANDRO DÍAZ CARO; JULIÁN SAMBORSKI-FORLESE
Brevísima introducción a la computación cuántica
Jornadas Abiertas de Informática v2.0
Lugar: Rosario; Año: 2006;
ALEJANDRO DÍAZ CARO; JULIÁN SAMBORSKI-FORLESE
Brevísima introducción a la computación cuántica
4tas Jornadas de Ciencias de la Computación
Lugar: Rosario; Año: 2006;
ALEJANDRO DÍAZ CARO
Generalización del algoritmo cuántico de teleportación
VII Workshop de Investigadores en Ciencias de la Computación
Lugar: Río Cuarto (Córdoba); Año: 2005;
ALEJANDRO DÍAZ CARO
Teleportación cuántica
3ras Jornadas de Ciencias de la Computación
Lugar: Rosario; Año: 2005;
ALEJANDRO DÍAZ CARO
Poster: Generalización del Algoritmo Cuántico de Teleportación
Tiempo de Desafíos: Domando las Incertidumbres del Mundo Cuántico
Lugar: Córdoba; Año: 2005;
