[Solar-general] Conferencia de Roberto Di Cosmo

Mie Abr 19 04:38:27 CEST 2006

Hola,
Tengo el placer de invitarlos a la conferencia que el Dr. Roberto Dicosmo
va a dar en la Facultad de Ciencias Exactas y Naturales de la Universidad
de Buenos Aires, donde trabajo (organizada por el departamento de computación)
el proximo lunes 24/4 a las 19 y 15 hrs.
Mas abajo el abstract de la charla!

> 
> Titulo:  Cuando la logica proposicional permite mejorar la calidad
>  del software libre: noticias desde el projecto EDOS.
> 
> Disertante: Dr. Roberto Di Cosmo, Universidad Paris VII
> Lugar:Aula Magna Pabellón I.
> 
> La charla se dictará en castellano y estará dirigida a un público amplio,
> que incluye a todos los alumnos de la carrera e investigadores.
> 
> Resumen:
> --------
> El projecto europeo EDOS (Environment for the development and Distribution
> of Open Source software, http://www.edos-project.org) reune informaticos
> teoricos y empresas de software libre, con la finalidad de mejorar la
> calidad de las distribuciones de software libre. En esa presentacion,
> vamos a ver cuales sonos los problemas nuevos que el exito del software
> libre trajo en tema de desarrollo de software, y como para algunos de
> ellos
> se pueden encontrar soluciones inesperadas utilizandos tecnicas de logica,
> como la satisfacibilidad de formulas proposicionales. En el curso de la
> charla, de dara una demostracion de las herramientas desarroladas por el
> projecto EDOS, que ya estan incorporandose en alguna distribuciones
> GNU/Linux modernas.
> -------------------------------
> 
> El Dr. Di Cosmo (http://www.dicosmo.org) es un destacado profesor e
> investigador de la Universidad Paris VII. Ha trabajado activamente en la
> promoción del uso de Software Libre en Francia y en el desarrollo de
> sofware libre o de código abierto (Open Source).
> 

saludos,
Pablo

__________________________________________________
Do You Yahoo!?
Tired of spam?  Yahoo! Mail has the best spam protection around 
http://mail.yahoo.com 