# Planes de estudios – Resolución de 24 de noviembre de 2025, de la Universidad Complutense de Madrid, por la que se publica el Plan de Estudios del Máster Universitario en Métodos Formales en Ingeniería Informática/Formal Methods in Computer Science por la Universidad Complutense de Madrid y la Universidad Politécnica de Madrid

- **Boletín:** Boletín Oficial Comunidad Madrid
- **Fecha de publicación:** 2025-12-04
- **Organismo:** C) Otras Disposiciones - UNIVERSIDAD COMPLUTENSE DE MADRID
- **Identificador oficial:** BOCM-20251204-25
- **URL en Oficius:** https://oficius.es/informacion-oficial/madrid/2025-12-04/planes-estudios-resolucion-24-noviembre-2025-universidad-complutense-madrid-que-publica-plan-estudios-master-universitario-N4EZog
- **Fuente oficial:** https://www.bocm.es/boletin/CM_Orden_BOCM/2025/12/04/BOCM-20251204-25.PDF

## Contenido

BOCM B.O.C.M. Núm. 289 BOLETÍN OFICIAL DE LA COMUNIDAD DE MADRID JUEVES 4 DE DICIEMBRE DE 2025 Pág. 95 I. COMUNIDAD DE MADRID C) Otras Disposiciones Universidad Complutense de Madrid 25 RESOLUCIÓN de 24 de noviembre de 2025, de la Universidad Complutense de Madrid, por la que se publica el Plan de Estudios del Máster Universitario en Métodos Formales en Ingeniería Informática/Formal Methods in Computer Science por la Universidad Complutense de Madrid y la Universidad Politécnica de Madrid. BOCM-20251204-25 Obtenida la verificación del Plan de Estudios por el Consejo de Universidades, previo informe favorable de la Agencia Evaluadora Fundación para el Conocimiento Madri+d, de fecha 18 diciembre de 2024, con autorización de la Comunidad de Madrid y acordado el carácter oficial del título por el Consejo de Ministros de 7 de octubre del 2025 (publicado en el “Boletín Oficial del Estado” de 13 de octubre de 2025); de acuerdo con lo dispuesto en el artículo 26, del Real Decreto 822/2021, del 28 de septiembre, en el que se establece el procedimiento de verificación de Planes de Estudios de las enseñanzas oficiales; este Rectorado, de conformidad con lo dispuesto en el artículo 8.3 de la Ley Orgánica 2/2023, de 22 de marzo, del Sistema Universitario, ha resuelto publicar el Plan de Estudios conducente a la obtención del título oficial del Máster Universitario en Métodos Formales en Ingeniería Informática/Formal Methods in Computer Science por la Universidad Complutense de Madrid y la Universidad Politécnica de Madrid, que queda estructurado conforme figura en el Anexo de la misma. Madrid, a 24 de noviembre de 2025.—El Rector, Joaquín Goyache Goñi.

## Fuente

Este contenido ha sido organizado por Oficius a partir de información publicada en un boletín oficial.

Fuente oficial: https://www.bocm.es/boletin/CM_Orden_BOCM/2025/12/04/BOCM-20251204-25.PDF