27 de diciembre de 2017

Slides TPNC


Los slides de mi presentación en TPNC los pueden ver aquí: SlideShare.
Presenté el paper "Typing quantum superpositions and measurement", coautoreado con Gilles Dowek, y del cual les comenté en este post. El paper ya fue publicado en Lecture Notes in Computer Science (y pueden bajar una versión gratuita desde arXiv).

Les dejo una fotito de Praga.

4 de diciembre de 2017

Slides y Poster en APLAS

Los slides de mi presentación en APLAS los pueden ver aquí: SlideShare.
Presenté el paper "A lambda calculus for density matrices with classical and probabilistic controls", del cual les comenté en este post. El paper ya fue publicado en Lecture Notes in Computer Science (y pueden bajar una versión gratuita, corregida y con todas las pruebas, desde arXiv).

Además, aproveché y llevé un poster del paper, en colaboración con Gilles Dowek, que voy a presentar en TPNC dentro de dos semanas y comenté en este post: "Typing quantum superpositions and measurement". Acá les dejo el poster, y el paper por ahora sólo lo pueden bajar de arXiv (actualizaré el post cuando aparezca en Lecture Notes in Computer Science, lo que debería ser muy pronto, y luego de la conferencia con los slides que use para presentarlo).

Les dejo una pequeña postal de Suzhou, China, donde de llevó a cabo APLAS.