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