[Todos CMAT] Charla del profesor Benoît Valiron. 25/04/2017

[Mauricio Guillermo]

Estimados,

Nos visita en el IMERL el profesor Benoît Valiron, del laboratorio LRI 
de la Universidad Paris-Saclay. Benoît investiga, entre otros temas, en 
computación cuántica. Mañana tendremos una charla a su cargo titulada 
"Probabilistic lambda-calculus and Bell's inequalities". La charla se 
hará a las 15.00 hs en el salón de seminarios del IMERL.

Abstract : In this talk we will discuss a linear, probablistic 
lambda-calculus and give a semantics in term of vectors of 
probabilities. We will then characterize the vectors representable with 
this language. We will then consider a quantum extension of this 
language and show that it is non-conservative with respect to the 
probabilistic semantics, by taking inspiration from Bell's experiment.

Están todos cordialmente invitados.

Cordiales saludos,

MAURICIO.