Ponencia: A Category-Theoretic Framework for Algebraic Composition in Models of High-Level Computation

El día 15 de junio de 2026, a las 10AM en la Facultad de Ciencias, se realizará una ponencia dictada por Dr. Damian Arellanes, de la Universidad de Lancaster, sobre teoría de categorías y modelos de cómputo de alto nivel.
Call for Abstracts: International Conference on Philosophy of Computing

The Research Group on Philosophy of Computing @ UNAM has published the Call for Abstracts for the 2025 International Conference on Philosophy of Computing.
coolcool: para el fin del mundo

Programa de radio del IMER, por internet, a cargo de Blues Araiza, miembro de nuestro grupo de investigación.
VIII Congreso Internacional de Investigación en Comunicación

Invitación a participar del VIII Congreso Internacional de Investigación en Comunicación, organizado por la Universidad de Monterrey.
Presentación del libro La Maquinización del Derecho

Presentación del libro del Mtro. Raymundo Espinoza en librería Volcana: Lugar Común, en CD.MX.
Los aspectos filosóficos de la salud digital

Coloquio: Los aspectos filosóficos de la salud digital El Grupo de Investigación en Filosofía de la Computación estará presente en el Coloquio “Los aspectos filosóficos de la salud digital” del Departamento de Salud Digital de la Facultad de Medicina de la Universidad Nacional Autónoma de México, representado por su co-coordinador, el Fil. Leonardo Abigal Castro […]
Programa completo publicado

Programa completo publicado Hemos publicado nuestro programa completo. Puedes revisarlo en este link.Entre las diversas actividades que hemos preparado, tendremos 8 ponencias magistrales, más de 50 presentaciones, 2 talleres interactivos, 7 mesas redondas temáticas y 2 conciertos. Además, tendremos café disponible todo el día y el ya tradicional cocktail de despedida. ¿No te has registrado? […]
¡Segundo Simposio a la vuelta!

¡Segundo Simposio a la vuelta! Hemos actualizado nuestro sitio web con información preliminar sobre el 2° Simposio de Filosofía de la Computación. En esta ocasión estaremos preparando dos salas simultáneas para tener muchas más ponencias, mismas que están integradas no sólo por invitados sino por personas que se postularon desde una convocatoria pública. ¡Espera más […]
x
Ponencia: A Category-Theoretic Framework for Algebraic Composition in Models of High-Level Computation
x
Ponencia: A Category-Theoretic Framework for Algebraic Composition in Models of High-Level Computation