Para quienes esten interesados en asistir a esta charla. Roberto Di Cosmo fue keynote speaker en CaFeCONF 2005 y ademas de ser un excelente disertante, es gran luchador por el SL.
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 */
signature.asc
Description: OpenPGP digital signature
-- 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]
