El Departamento de Computación del Cinvestav se une a la celebración mundial del Año de Turing y ha planeado el "Simposio Turing 2012" a realizarse los días 28 y 29 de juio de 2012, en el Auditorio del Departamento de Quimica. El evento consiste de 8 conferencias que revisarán la obra de Turing y sus principales repercusiones. Comprenderán temas de Morfogénesis, de Biología Matemática, de Complejidad Computacional, Ajedrez, Matemáticas, Criptografía y, obviamente, Computación. Serán impartidas por 3 conferencistas invitados y por 5 profesores del Departamento de Computación.
Jueves 28 de Junio (Dr. Guillermo Morales Luna, Moderador)
10:00 - 11:00 Resumen
11:00 - 12:00 Departamento de Computación, Cinvestav-IPN Titulo: La Enigmática vida de Alan Turing Resumen En esta plática se hablará sobre la vida y obra de Alan Mathison Turing. De su vida puede decirse que su común denominador fue el misterio, tanto por su participación en el servicio británico de inteligencia durante la Segunda Guerra Mundial, como por sus inclinaciones sexuales. En la plática se mencionarán sus principales aportaciones científicas, y se hablará de algunos aspectos poco conocidos sobre su vida, incluyendo algunas anécdotas divertidas que reflejan de alguna forma, la peculiar personalidad de este importante científico inglés.
12:30 - 13:30 Instituto de Geofísica, UNAM Titulo: El Cómputo en paralelo en la modelación matemática y computacional de la Ciencia y la Ingeniería: Un estado del Arte Resumen Los modelos matemáticos de muchos sistemas de la Ciencia y la Ingeniería están gobernados por una gran variedad de ecuaciones diferenciales parciales, o sistemas de tales ecuaciones, cuyos métodos de solución requieren procesar computacionalmente sistemas algebraicos sumamente grandes. Es por ello que la increíble expansión de los recursos computacionales que en forma continuada ha venido ocurriendo ha conllevado un aumento también asombroso de la capacidad para modelar matemática y computacionalmente sistemas científicos y tecnológicos cada vez más diversos y complejos. Entre las nuevas herramientas destaca la computación en paralelo, la cual desde muy temprano en su desarrollo ha recibido considerable atención de la comunidad internacional con el propósito de utilizar su extraordinario poder en la solución de las ecuaciones diferenciales parciales de la Ciencia y la Ingeniería. Idealmente, el objetivo deseable con este propósito sería desarrollar software 100% paralelizado y de aplicabilidad universal; con mayor precisión: software tal que los múltiples procesadores trabajen en forma independiente, sin coordinación alguna y sin intercambio de información, y que sea aplicable a toda clase de ecuaciones diferenciales, o sistemas de tales ecuaciones, independientemente del problema que las origine. En este esfuerzo muy pronto se reconoció que los métodos de descomposición del dominio (DDM, por sus siglas en inglés) son la vía más efectiva para acercarse a este propósito. En esta plática se presentan en forma integrada los logros más importantes alcanzados hasta ahora y, en particular, cuatro algoritmos introducidos recientemente –los algoritmos DVS- que casi (en la plática se precisa este término) alcanzan el objetivo de ser 100% paralelizables y de aplicabilidad universal. Estos algoritmos exhiben el poder de un nuevo marco teórico introducido por el autor y sus colaboradores, cuya denominación en inglés es: ‘the derived-vector space (DVS)’, el cual también se explica en esta plática
13:30 - 14:30 Departamento de Computación, Cinvestav-IPN Titulo: Alan Turing y Ajedrez Resumen El juego de ajedrez ha sido una de las áreas de investigación más antiguas de la inteligencia artificial. Turing en 1945 predijo que algún día las computadoras jugarían muy bien al ajedrez y en 1953 planteó un programa de computadora, basado en heurísticas, que jugaba ajedrez. Su artículo de 1953 "Digital computers applied to games" puede leerse fácilmente hoy en día y presenta el pseudocódigo de forma muy clara. El día en que las computadoras juegan mejor que cualquier humano ya llegó desde la victoria de Deep Blue, una supercomputadora de IBM, contra el campeón del mundo Gary Kásparov el 11 de mayo de 1997. En esta charla se tratará cómo se programa una computadora para jugar ajedrez y cómo ahora se están usando esos programas, por ejemplo el gambito de rey ya ha sido resuelto (http://www.chessbase.com/newsdetail.asp?newsid=8047).
Viernes 29 de Junio (Dr. Carlos A. Coello Coello, Moderador)
Titulo: Metabiología: vida como software en evolución
Resumen
11:00 - 12:00 Resumen
12:30 - 13:30 Departamento de Computación, Cinvestav-IPN Titulo: Números Computables y Números Normales Resumen Hacemos un recuento de las bases formales del análisis computable y bosquejamos la construcción debida a Turing de conjuntos consistentes de números reales absolutamente normales. A grandes rasgos, un número real es computable si lo es la sucesión de susdígitos respecto a cualquier base de representación. Un número es normal, respecto a una base, si todos los dígitos aparecencon una misma probabilidad en su expansión, y es absolutamente normal si es normal respecto a cualquier base.Turing bosquejó una construcción, sin demostrarla por completo, de conjuntos de números absolutamente normales, en el intervalo unitario, de medida casi 1, junto con un algoritmo de complejidad doblemente exponencial, para producir números absolutamente normales. Su manuscrito fue completado en la década pasada. Presentamos aquí las ideas básicas en esa construcción.
13:30 - 14:30 Departamento de Computación, Cinvestav-IPN Titulo: De Alan Turing y de sus aplicaciones de la probabilidad en la criptografía Resumen El 4 de septiembre de 1939 -sólo horas después que Wiston Churchill anunciara oficialmente la entrada del Reino Unido a la segunda guerra mundial- Alan Turing inició su primer día de trabajo como cripto-analista en el centro de inteligencia británico ahora conocido como Bletchley Park. Turing permanecería trabajando en dicho Centro hasta el final de la guerra y durante ese período, él y sus colaboradores instrumentaron ideas radicales e innovadoras que llevaron a la construcción de la computadora electromecánica "Bombe". Bombe se constituyó en la herramienta fundamental para descifrar los despachos de guerra alemanes que eran transmitidos casi en su totalidad utilizando la máquina de cifrado alemana "Enigma". En esta charla se presenta un breve recuento de las decisivas aportaciones que Alan Turing hizo en las disciplinas de la criptografía y del cripto-análisis y de cómo los métodos que él ideó redundaron en el desarrollo teórico y práctico de las ciencias computacionales. Asimismo, se presentará un sumario de dos artículos escritos por Turing hace 70 años y que fueron desclasificados apenas el 27 de abril de 2012, en los que el autor fundamenta matemática y estadísticamente sus hallazgos criptográficos.
Comentarios: soporte@computacion.cs.cinvestav.mx
|
||||||||||||||||||||||||
 |
Departamento de Computación |
|||||||
|
||||||||
|
|
|
