---------- Forwarded message ---------- From: Daniel Coletti <[email protected]> Date: 19-abr-2006 1:02 Subject: [Fwd: [Fwd: Charla en la UBA acerca del projecto EDOS]] To: "Anillo de LUGs/.orgs" <[email protected]> Para todos los que esten interesados en ir a escucharlo a Roberto Di Cosmo ... saludos, dax// -------- Original Message -------- Subject: Charla en la UBA acerca del projecto EDOS Date: Wed, 19 Apr 2006 05:39:48 +0200 From: Roberto Di Cosmo <[email protected]> Reply-To: Roberto Di Cosmo <[email protected]> To: Daniel Coletti <[email protected]> CC: Roberto Di Cosmo <[email protected]> Hola Daniel, te cuento que el lunes 24 de abril a las 19h, en el la aula magna del pabellon 1 de la UBA (departamento de computacion), voy a dar una charla mas bien tecnica hablando de lo que estamos haciendo en el projecto EDOS para mejorar la construccion de grandes systemas software como las distribuciones linux. Voy tambien a hacer unas demos de los instrumentos desarrollados en el projecto EDOS... Si conoces a alguien interesado, sera el bienvenido... Aca abajo te mando el titulo y el resumen --Roberto
Titulo: Cuando la logica proposicional permite mejorar la calidad del software libre: noticias desde el projecto EDOS.
Resumen: --------
El projecto europeo EDOS (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 y informatica teorica, 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.
-- Daniel Coletti (dax) USLA, CaFeLUG, Buenos Aires - Argentina GPG Fingerprint: 5A1B 9656 1326 AD46 BA3D DDF0 2B42 94C9 8295 1B35 http://www.danielcoletti.com /* Usando Linux desde 752900400 */ _______________________________________________ anillo-lst mailing list [email protected] https://listas.linux.org.ar/mailman/listinfo/anillo-lst /* Publica y encontra trabajo relacionado con softlibre en http://www.usla.org.ar/modules/jobs/ */ -- Alejandro Rene "El Corrector Empedernido" Fernandez Blanco Fecha Definitiva para el Segundo Festival Latinoamericano de Instalación de SOftware Libre (FLISOL 2006): 25/3/2006 Apodos (por el look =) ): "El Stallman Platense" (autor Paolo "Mojo" Stancato), Jesucristo, El "Che" Guevara, ........ Bin ........... (arabe mundialmente famoso desde el 11-S-2001) Buscando a Adrian "el Chueco" Suar para hacer las 4 películas: Localizado en Polka Producciones. Miembro de PLUG (Argentina). www.plug.org.ar Petitorio contra el Programa de Malversacion miPC http://www.petitiononline.com/noamipc1/ Coordinador General del I FLISOL La Plata http://installfest.net/2005/lugares/ar/laplata