Verónica Becher is invited speaker at Fourteenth International Conference on Computability and Complexity in Analysis in Korea -24-27/Jul/17

Verónica Becher is invited speaker at Fourteenth International Conference on Computability and Complexity in Analysis, Daejeon, Republic of Korea, July 24 – 27, 2017

Workshop INFINIS – 19/Oct/2017 *NEW: PROGRAM PUBLISHED*

The Workshop INFINIS 2017 will take place on Thursday, October 19, 2017, from 9:30 a.m. to 5:30 p.m. at the Departamento de Computación,  Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires (map).

During this workshop each team of INFINIS will present their main subjects of research and their perspectives. There are six teams and each presentation will last, at most, 60 minutes. Each presentation will consist of talks and 10 minutes will be devoted to questions and exchanges with the public. The talks are addressed to students and researchers interested in Computer Science. Registration is not required. Everybody is welcome.

More information at the web page of the event: Workshop INFINIS 2017 

NEWS: The web page has been updated with the program

Workshop on Quantum Logic, Computation, and Information – 13/July/2017

2a Jornada de Lógica, Computación e Información Cuántica
Jueves 13 de julio de 2017
Universidad Nacional Arturo Jauretche
Av. Calchaquí 6200, Florencio Varela
— Salón Auditorio —

El 13 de julio se realizará la 2a jornada de lógica, computación e información cuántica. El objetivo de las jornadas es proveer un espacio de encuentro para quienes trabajamos en fundamentos lógicos de la computación cuántica desde una perspectiva interdisciplinaria. Contaremos con charlas de Guido Bellomo (postdoctorando en el Dpto. Computación de Ciencias Exactas-UBA), Simon Perdrix (investigador CNRS en el laboratorio LORIA de Nancy, Francia) y Christian de Ronde (Investigador CONICET, Profesor UNAJ y FFyL-UBA). El encuentro se realizará en la Sede de la Universidad Nacional Arturo Jauretche desde las 10:30 hasta las 16:30 horas.

Esta convocatoria que surge de jóvenes investigadores del área busca ser amplia e inclusiva. Están todos invitados a sumarse al encuentro. Se agradece la difusión.

==============================================================

Programa:

10:30 Café
11:00 Christian de Ronde: On the physical foundation of quantum superpositions (beyond measurement outcomes and mathematical structures)
12:00 Almuerzo
14:00 Simon Perdrix: Diagrammatic Quantum Reasoning: Completeness and Incompleteness
15:00 Café
15:30 Guido Bellomo: Quantum entropies and lossless quantum data compression

==============================================================

Resúmenes:

Christian de Ronde (Universidad Nacional Arturo Jauretche & CONICET) – On the physical foundation of quantum superpositions (beyond measurement outcomes and mathematical structures).
Quantum superpositions are being used today in laboratories all around the world in order to create the most outstanding technological and experimental developments of the last centuries. However, while many experimentalists are showing that Schrödinger’s cats are growing fat, while it becomes more and more clear that quantum superpositions are telling us something about quantum physical reality even at the macroscopic scale, philosophers of QM in charge of analyzing and interpreting these mathematical expressions (through the many interpretations of QM that can be found in the literature) have not been capable of providing a coherent physical representation of them. In this paper we attempt to discuss the importance of providing a physical representation of quantum superpositions that goes beyond the mere reference to mathematical structures and measurement outcomes.

Simon Perdrix (CNRS / LORIA, Francia) – Diagrammatic Quantum Reasoning: Completeness and Incompleteness.
The ZX-calculus introduced by Coecke and Duncan is a graphical formal language for quantum reasoning based on the complementarity of observables. I’ll introduce this category-based diagrammatic calculus, give some examples, and focus on the question of completeness of the language for quantum mechanics. The language is complete if for any two diagrams representing the same quantum evolution, one can be transformed into the other using the rules of the ZX-calculus. The language was known  to be complete for non universal fragments of quantum mechanics, and incomplete in general. I will present the first complete axiomatisation of the ZX-calculus for a universal fragment of quantum mechanics.

Guido Bellomo (Universidad de Buenos Aires) – Quantum entropies and lossless quantum data compression.
One of the main concerns in classical and quantum information theories is the problem of encoding information by using fewest resources as possible. This task is known as data compression and it can be carried out either in a lossy or a lossless way, depending on whether the original data can be recovered with or without errors, respectively. Based on the problem of quantum data compression in a lossless way, we present here an operational interpretation for the family of quantum Rényi entropies. In order to do this, we appeal to a very general quantum encoding scheme that satisfies a quantum version of the Kraft-McMillan inequality. Then, in the standard situation, where one is intended to minimize the usual average length of the quantum codewords, we recover the known results, namely that the von Neumann entropy of the source bounds the average length of the optimal codes. Otherwise, we show that by invoking an exponential average length, related to an exponential penalization over large codewords, the quantum Rényi entropies arise as the natural quantities relating the optimal encoding schemes with the source description, playing an analogous role to that of von Neumann entropy.

Award Ceremony for Raíces Prize to Delia Kesner — 6/Dec/2016

The Award Ceremony for the Raíces Prize was held yesterday, 6 December 2016, at the Ministerio de Ciencia, Tecnología e Innovación Productiva, Buenos Aires, Argentina. Prof Delia Kesner, recipient of the award, was distinguished for her long and tireless dedication to fostering scientific collaboration between Argentina and France.

 

20161206_195903

 

Workshop organized by the STIC-AmSud project “FoQCoSS” — 5,6 December 2016 — Updated schedule

FoQCoSS Kickoff Workshop
Foundations of Quantum Computation: Syntax and Semantics, 5-6 December, 2016
Universidad Nacional de Quilmes
Buenos Aires, Argentina

http://diaz-caro.web.unq.edu.ar/foqcoss.html

Under the STIC-AmSud project FoQCoSS, a workshop with presentations by its members will be held on December 5th and 6th in Buenos Aires (Argentina) at the campus of the Universidad Nacional de Quilmes.

Please, confirm attendance by sending your name and affiliation to alejandro@diaz-caro.info
At the bottom of this email, you will find the program. The abstracts and further information can be found in the webpage of the event.

Program:

 

Monday 5 Dec
10.30 ► Gilles Dowek: Quantitative informational aspects in discrete physics
11.15 ► Pablo Arrighi: Discrete Lorentz covariance for quantum walks and quantum cellular automata
12.00 – Lunch
14.00 ► Christian de Ronde: On the physical foundation of quantum superpositions (beyond measurement outcomes and mathematical structures)
14.45 ► Simon Martiel: Quantum causal graph dynamics
15.30 – Coffee break
16.00 ► Stefano Facchini: Quantum walking in curved spacetime: (3+1) dimensions, and beyond

Tuesday 6 Dec
10.30 ► Benoît Valiron: A Geometry of interaction for quantum computation
11.15 ► Alejandro Díaz-Caro: Typing quantum superpositions and projective measurements
12.00 – Lunch
14.00 ► José Carlos Puiati: Implementation of an interpreter and typechecker for the double effect quantum lambda calculus
14.45 ► Renaud Vilmart: TBA
15.30 – Coffee break
16.00 ► Gabriel Senno: Robust Bell inequalities from communication complexity
16.45 ► Ariel Bendersky: Non-signaling deterministic models for non-local correlations have to be uncomputable