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/
23 de julio de 2013
LATIN 2014
La conferencia LATIN toca este año en Montevideo, Uruguay. Esta es la única conferencia en Teoría de la Computación en Latinoamérica, o mejor dicho, la única que se realiza "exclusivamente" en Latinoamérica. Hay otras conferencia que de tanto en tanto se hacen en Latinoamérica como WoLLIC. Además, LATIN abarca todas las áreas de la teoría de la computación.
Siempre LATIN tiene muy buen nivel de presentaciones. Así que es para no perderse. Sin embargo, lastimosamente este año no viene acompañado de una escuela de computación como fue en la edición anterior en Perú.
Siempre LATIN tiene muy buen nivel de presentaciones. Así que es para no perderse. Sin embargo, lastimosamente este año no viene acompañado de una escuela de computación como fue en la edición anterior en Perú.
Suscribirse a:
Entradas (Atom)