MEMORIAS LOG&CO 2006
  » Popayán, 05 Abr 2006

MEMORIAS: PONENCIAS

Las Ponencias están Organizadas según el día en que fueron presentadas en el Evento.

Lunes|Martes|Miércoles|Jueves|Viernes

Lunes

8:00 - 10:00 a.m. INSCRIPCIONES
10:00 - 11:30 a.m. Charla Inaugural
Actualización segura de Base de Datos Deductivas
Matilde Celma Gimenez
RECESO
2:00 - 2:45 p.m. Hipercomputación desde
la computación cuántica [PDF]
Andrés Sicard
Universidad EAFIT
Resolución en Lógicas anotadas con retículos ordinarios Jhovanny Muñoz
Universidad del Valle
2:45 - 3:30 p.m. Una relación entre Hipótesis del Continuo, cardinales inaccesibles y problema de la medida [PPT]
Luz Victoria De La Pava
Universidad del Cauca
Algoritmos voraces
y teoría de Matroid [Abstract PDF]
Yady Sanchez, WilfredoYate
Universidad del Cauca
REFRIGERIO
4:00 - 6:00 p.m. Curso 1: Lógica y Bases de datos [PPT]
Matilde Celma
Curso 2: Programación Lógica [PDF]
Francisco Correa


Vea los Resúmenes de las Ponencias
Vea la Programación Completa en formato Excel (xls)
 
Popayán (Cauca) - Universidad del Cauca
Última Actualización de esta Sección: 30 Mar/06