Profesores participaron en XII versión del Congreso Colombiano de Computación

En la semana de 19 al 22 de septiembre se realizó en la ciudad de Cali la XII versión del Congreso Colombiano de Computación  en la Universidad Autónoma de Occidente, en la que participaron los profesores Bernarda Aldana Gómez y Ernesto Acosta Gempeler, del Programa de Matemáticas; Jaime Alejandro Bohórquez Villamizar, del Programa de Ingeniería de Sistemas, los tres en representación de la Escuela y Hernán Camilo Rocha Niño, de la Universidad Javeriana de Cali.

Se presentó el artículo Axiomatic Set Theory a la Dijkstra and Scholten, como uno de los resultados de la investigación que realizaron simultáneamente en el proyecto “Teoría de Conjuntos desde una perspectiva calculatoria”, financiado por la Escuela .