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 […]
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, […]
¡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 […]
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