Teoría de la demostración de progreso local y la lógica de la demostrabilidad / Local progress proof theory and provability logic
Viernes, 16 de mayo de 2025
Ponente: D. Borja Sierra Miranda (Universidad de Berna/University of Bern)
Ponencia en español
El Problema del Milenio PvsNP: Problemas NP-duros de pelotas con Python. (Sesión II)
Martes, 11 de febrero de 2025
Ponentes: Prof. Antonio Ramírez de Arellano Marrero, Prof. Andrés Nicolás Uranga Limón y D. Miguel España Montero
Ponencia en español
El Problema del Milenio PvsNP: Problemas NP-duros de pelotas con Python. (Sesión I)
Martes, 4 de febrero de 2025
Ponentes: Prof. Antonio Ramírez de Arellano Marrero, Prof. Andrés Nicolás Uranga Limón y D. Miguel España Montero
Ponencia en español
Búsqueda Local Estocástica en Satisfacibilidad Booleana
Viernes, 15 de noviembre de 2024
Ponencia en español