El próximo jueves día 9 de mayo a las 13:00 horas tendrá lugar en el Salón de Actos de la Facultad de Matemáticas de la UCM la conferencia "Could computers understand their own programs?", a cargo de Tony Hoare (Microsoft Research, Cambridge, United Kingdom. ACM Distinguished Program). El evento se encuadra dentro de los coloquios que organiza la Facultad de Matemáticas a lo largo del curso académico.