Eventos, 2019

Charla: "Lambda cálculo como sistema de pruebas para una lógica de la computación cuántica"
(2019-01-17)


Charlista: 
Alejandro Díaz-Caro, Profesor Universidad Nacional de Quilmes, Argentina
Fecha: 
22 Enero, 2019 - 11:00
Sala: 
Philippe Flajolet, Piso 3, Edif. Poniente
Organización: 
Prof. Federico Olmedo
Bio: 

Alejandro Díaz-Caro se doctoró en la Université de Grenoble (Francia) con una tesis sobre la representación de espacios vectoriales en sistemas de tipos. Luego de realizar un postdoc en París y dos cargos de docencia e investigación, retornó a Argentina con un cargo de profesor en la Universidad Nacional de Quilmes. Actualmente, además del cargo en UNQ, tiene un cargo de investigador CONICET en el Instituto de Ciencias de la Computación (instituto de doble dependencia entre Universidad de Buenos Aires y CONICET).

Su área de investigación son los fundamentos de lenguajes para computación cuántica, con énfasis en lógica. En particular trabaja en teoría de tipos y lambda cálculo.

Abstract:

En esta charla voy a comenzar por una breve introducción a la computación cuántica, luego veremos una introducción al lambda cálculo y su conexión con lógica a través del isomorfismo de Curry-Howard. Finalmente expondré algunos resultados recientes sobre extensiones al cálculo lambda con el objetivo de definir una lógica de la computación cuántica utilizando dicho isomorfismo.




Charla: Design Thinking: un enfoque para resolver problemas de manera innovadora
(2019-01-08)


Charlista: 
César A. Collazos, Profesor Titular - Universidad del Cauca (Colombia).
Fecha: 
10 Enero, 2019 - 14:00
Sala: 
Auditorio Philippe Flajolet
Organización: 
Prof. Sergio Ochoa



Charla Martin Hilbert: "Ciencia Social Computacional: entendiendo y prediciendo el comportamiento humano a nivel de ciencia"
(2019-01-07)


Charlista: 
Martin Hilbert, University of California, Davis.
Fecha: 
8 Enero, 2019 - 15:00
Sala: 
Auditorio Ramón Picarte (3er piso edif. norte Beauchef 851)
Organización: 
Instituto Milenio Fundamentos de los Datos

Syndicate content