El uso de las computadoras para automatizar tareas es una práctica común, más en estos tiempos donde la inteligencia artificial se está incorporando a nuestro día a día. En esta plática veremos un acercamiento a la verificación formal dentro del área de Métodos Formales en Ciencias de la Computación y comentaremos los principios de los sistemas interactivos para el manejo de demostraciones que facilitan la verificación de sistemas, una parte de valor dentro del desarrollo computacional.
Imparte: Dra. Lourdes del Carmen Gonzáles Huesca
Fecha: 24 de febrero de 2025
Auditorio de Posgrado
Horario: 10:00h a 12:00h
