[Lcefiec] Ciclo de charlas del Departamento de Computació n.

[LOPEZ POMBO, Carlos Gustavo]

	Como si faltaran, comienza un nuevo ciclo de charlas; pero esta vez a 
cargo del Departamento de Computación. Este ciclo tiene por objeto que 
los integrantes de nuestro departamento tengan la oportunidad de 
comunicar sus resultados al resto de la comunidad.
En general, estará orientado a la difusión de resultados que han sido
presentados recientemente en conferencias internacionales y que son el
fruto del trabajo realizado por nuestros profesionales.

	A través de la presente se invita a toda la comunidad a concurrir a la 
primera charla del ciclo.

	Saludos, Charlie.



---8<---8<---8<---8<---8<---8<---8<---8<---8<---8<---8<---8<---8<---8<---8<---



        Ciclo de charlas de divulgación del Departamento de Computación
        ---------------------------------------------------------------
        Aula 8 - Pabellón I, Ciudad Universitaria - 26 de junio 1900 hs.
                           (Habrá café y galletitas)

Título:
Complejidad de largo de programa en cómputos posiblemente infinitos.

Autores:
V.Becher (UBA) , S.Picchi (UBA), A.Nies (University of Auckland, NZ) y 
S.Figueira (UBA).

Orador:
Lic. Santiago Figueira

Conferencia:
Workshop on Computability and Randomness, Heidelberg, Alemania, abril 25 
y 26, 2003 en Ruprecht-Karls-Universität Heidelberg.

Resumen:
Trabajamos con máquinas monótonas que realizan cómputos posiblemente 
infinitos y definimos la complejidad de largo de programa $H^\infty$ 
como una variante de la complejidad clásica de Kolmogorov: dada una 
máquina monótona universal ${\cal U}$, para cualquier cadena $x$, 
$H^\infty(x)$ es la longitud de la cadena más corta $p$ leída por ${\cal 
U}$ que produce $x$ via un cómputo posiblemente infinito (es decir, una 
ejecución que termina o que no termina), habiendo leído exactamente $p$ 
de la entrada.
Estudiamos las propiedades de esta nueva fuuunción de complejidad y la 
comparamos con otras complejidades existentes.

Sobre Santiago Figueira:
Santiago Figueira empezó su doctorado en Ciencias de la Computación, en 
el Depto de Computación de la UBA el año pasado, en informática teórica, 
específicamente en complejidad de Kolmogorov y cómputos infinitos, 
dirigido por Verónica Becher. Obtuvo una beca de doctorado de la 
Fundación Antorchas y es docente en Algoritmos y Estructuras de Datos I, 
la primera materia de computación de la Licenciatura en Cs. de la 
Computación.
Santiago cursó su Licenciatura también en Cs. de la Computación aquí en 
la UBA, de 1995 al 2001, y en su tesis de Licenciatura dio un ejemplo de 
un número absolutamente normal computable, mediante una reformulación en 
términos de computabilidad de un trabajo de 1917 del célebre matemático 
M.W.Sierpinski.