[Todos] Charla Software Libre 24/4, 19 hrs.

[Irene Loiseau]

Invitamos a la charla que dará el proximo lunes 24/4 a las 19 y 15 hrs:

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).


------------------------------------------
Irene Loiseau
Departamento de Computación
Facultad de Ciencias Exactas y Naturales
Universidad de Buenos Aires
Pabellón I- Ciudad Universitaria
1428 Buenos Aires - ARGENTINA
TE/FAX: 54 11 4576 3359
TE: 54 11 4576 3390/96 int 711
e-mail: irene en dc.uba.ar