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/
0 comments:
Publicar un comentario