[Solar-general] Fwd: [Fwd: [Fwd: Charla en la UBA acerca del projecto EDOS]]

Mie Abr 19 08:44:36 CEST 2006

---------- Forwarded message ----------
From: Daniel Coletti <dcoletti en cafelug.org.ar>
Date: 19-abr-2006 1:02
Subject: [Fwd: [Fwd: Charla en la UBA acerca del projecto EDOS]]
To: "Anillo de LUGs/.orgs" <anillo-lst en linux.org.ar>

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 <roberto en dicosmo.org>
Reply-To:       Roberto Di Cosmo <roberto en dicosmo.org>
To:     Daniel Coletti <dcoletti en xtech.com.ar>
CC:     Roberto Di Cosmo <roberto en dicosmo.org>

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
anillo-lst en linux.org.ar
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
------------ próxima parte ------------
Se ha borrado un mensaje que no está en formato texto plano...
Nombre     : signature.asc
Tipo       : application/pgp-signature
Tamaño     : 192 bytes
Descripción: no disponible
Url        : /pipermail/solar-general/attachments/20060419/6d9938ab/signature.pgp