Escuela de verano en Matemáticas Discretas en Valparaíso. ¡Para no perderse!
http://discretas2014.cmm.uchile.cl
Blog sobre computación cuántica y fundamentos de las ciencias de la computación. En general cubrimos los temas de investigación a los que nosotros nos dedicamos, los cuales comenzaron siendo computación cuántica, y con el tiempo van evolucionando, cambiando, agregando nuevas áreas, etc.
12 de agosto de 2013
8 de agosto de 2013
9 de agosto en Rosario: seminario y charla-debate
Mañana 9 de agosto voy a estar dando una charla en la Facultad de Ciencias Exactas, Ingeniería y Agrimensura de la UNR (Aula 27, Pellegrini 250, Rosario). Acá les dejo el título y resumen de la charla:
16hs
Título: Hacia una lógica computacional cuántica
Resumen: El objetivo a largo plazo de esta línea de investigación es definir una lógica computacional cuántica, en el paradigma de pruebas-como-programas. Es decir, queremos una lógica tal que sus pruebas sean programas cuánticos. Con ese propósito, estudiamos varias extensiones al cálculo lambda resaltando diferentes aspectos como la superposición de programas, el no-clonado y las proyecciones no-determinísticas y probabilísticas.
Luego, a las 17hs, tendremos una charla-debate acerca del doctorado y, sobre todo, el después. El título del evento es: ¿Me voy a hacer un doctorado afuera? ¿Y después qué?. Del panel participaremos varios recibidos de la carrera de Ciencias de la Computación de Rosario. Aquí les dejo el link al evento anunciado en Facebook: https://www.facebook.com/events/565382713508343/
16hs
Título: Hacia una lógica computacional cuántica
Resumen: El objetivo a largo plazo de esta línea de investigación es definir una lógica computacional cuántica, en el paradigma de pruebas-como-programas. Es decir, queremos una lógica tal que sus pruebas sean programas cuánticos. Con ese propósito, estudiamos varias extensiones al cálculo lambda resaltando diferentes aspectos como la superposición de programas, el no-clonado y las proyecciones no-determinísticas y probabilísticas.
Luego, a las 17hs, tendremos una charla-debate acerca del doctorado y, sobre todo, el después. El título del evento es: ¿Me voy a hacer un doctorado afuera? ¿Y después qué?. Del panel participaremos varios recibidos de la carrera de Ciencias de la Computación de Rosario. Aquí les dejo el link al evento anunciado en Facebook: https://www.facebook.com/events/565382713508343/
Suscribirse a:
Entradas (Atom)