Me llego esto de un amigo que estudia en Ciudad Universtaria - UBA. Supongo que a mas de uno le va a interesar.
saludos, lukio -- Luciano Rossi <[EMAIL PROTECTED]> http://ublug.linux.org.ar > ---------- Forwarded message ---------- [..] > > 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. Ciudad Universitaria. > > 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). -- Luciano Rossi <[EMAIL PROTECTED]> -- Para desuscribirte tenés que visitar la página https://listas.linux.org.ar/mailman/listinfo/lugar-gral/ /* Publica y encontra trabajo relacionado con softlibre en http://www.usla.org.ar/modules/jobs/ */ Si tenés algún inconveniente o consulta escribí a mailto:[EMAIL PROTECTED]
