MEMORIAS: PONENCIAS

Miércoles

8:00 - 10:00 a.m.	Curso 3: Teoría de Tipos Salvador Lucas
REFRIGERIO
10:30 - 11:15 a.m.	Implementaciones de redes neuronales artificiales en Haskell [PPT] [DOC] Cesar Acosta Universidad del Quindío
	Tecnologías Computacionales en el Aula: La Educación Virtual (Véase el Material) Carlos Barco Universidad de Caldas
11:15 - 12:00 a.m	Modelamiento y verificación de sistemas utilizando cálculos de procesos concurrentes [PDF] Jorge Pérez Grupo de Investigación AVISPA Pontificia Universidad Javeriana, Cali
	Semánticas de punto fijo para programas anotados. Una realización por -resolución [PDF] Carlos Ramírez Universidad ICESI
RECESO
2:00 - 4:00 p.m.	Curso 1: Lógica y Bases de datos [PPT] Matilde Celma
	Curso 2: Programación Lógica [PDF] Francisco Correa
REFRIGERIO
TARDE LIBRE