La Jornada Turing a l'FME serà dimecres 30 de març: conferències al matí i pel·lícula per la tarda

(+)100 años con Turing.

Resumen:

Alan Turing nació en Londres el 23 de Julio de  1912 y falleció en Wilmslow, Reino Unido en 1954. Por tanto hace muy poco celebramos el centenario de su nacimiento. Puede parecer mentira que la vida del denominado padre de la Informática, Alan Mathison Turing, tenga tantos componentes de una película de Hollywood: espías y topos, los primeros hackers de la historia, batallas marinas en el atlántico, genios que convierten en oro todo lo que tocan, encuentros increíbles para diseñar los primeros computadores y un final que combina intransigencia y tragedia poética. La charla contará la vida y las aportaciones realizadas por Alan Turing y que apoyan la idea de denominarlo padre de la informática. No en vano el equivalente al Premio Nóbel en la Informática se denomina Premio Turing. Sin lugar a dudas hoy se valora como un científico y un intelecto excepcional, aunque un ser humano menos afortunado en lo personal. La charla se completa mostrando algunos de los significativos avances realizados en la informática en España.

 

Breve reseña del ponente: Juan José Moreno Navarro

Licenciado en Ciencias Matemáticas y Doctor en Informática. Catedrático de Universidad en la Escuela Técnica Superior de Ingenieros Informáticos de la Universidad Politécnica de Madrid.

Ha desarrollado una amplia labor académica y científica en el área del desarrollo del software, la política científica y universitaria, la innovación y el emprendimiento, donde ha obtenido numerosas publicaciones en congresos, libros y revistas de gran relevancia internacional.

Su tesis doctoral se desarrolló en gran medida en Alemania y ha sido profesor y conferenciante invitado en las universidades de Pisa (Italia), Monash (Australia), RWTH Aachen (Alemania), Instituto Politécnico Nacional (México), Federico Santamaría (Chile) entre otras.

En cuanto a la gestión de la Educación superior y la I+D+i ha sido Director General de Política Universitaria (Ministerio de Educación, 2009-2012), Director General de Transferencia de Tecnología y Desarrollo Empresarial (Ministerio de Ciencia e Innovación, Secretaría General de Innovación, 2009) y Director General de Planificación y Coordinación (Ministerio de Ciencia e Innovación, Secretaría de Estado de Investigación, 2008-2009). También ha participado en numerosos comités nacionales y europeos.

Actualmente compatibiliza su docencia en la UPM y su labor de investigador sénior en el Instituto IMDEA-Software con la representación como diputado en la Asamblea de Madrid.

Turing al Servicio de sus Majestades: Su Rey y Sus Matemáticas.

Resumen:
De entre las múltiples actividades que Alan Turing desarrolló en su lamentablemente muy corta vida, me centraré sobre todo en sus famosas actividades "Rompiendo el Código de Enigma", en las instalaciones secretas del Gobierno inglés radicadas en Bletchley Park. Dejando de lado las cuestiones relacionadas con las Máquinas de Turing, el Test de Turing y el desarrollo en sus albores de la Programación, complementaré mi charla con otros aspectos en los que aparecen contenidos matemáticos más clásicos, aunque aplicados también de un modo altamente revolucionario, hablando un poco sobre Inteligencia Artificial, Vida Artificial, Morfogénesis y Algoritmos Genéticos.

David de Frutos Escrig es Catedrático de Lenguajes y Sistemas Informáticos en la

Universidad Complutense, donde también hizo sus estudios de Licenciatura y Doctorado en Matemática Fundamental y Ciencias de la Computación. Su tema central de investigación son los Métodos Formales en Programación, y más específicamente los que hacen relación a la Concurrencia: las Algebras de Procesos, las Redes de Petri y las Semánticas de la Concurrencia. Hasta la fecha tiene publicados más de 70 trabajos, entre revistas y comunicaciones en congresos relevantes, y ha dirigido 10 Tesis Doctorales. Como mérito reciente a destacar, citaremos la co-presidencia del PC de CONCUR 2015, que compartió con Luca Aceto, actual Presidente de la EATCS, con el que ha tenido el privilegio de colaborar estrechamente durante los últimos años.

From Unplugged to Physically Realizable Machines, and Back.

Abstract:
Around 1936, Alan Turing conceived his model of an automated computer. This was long before the transistor was even discovered. Thus, one would think that Turing's original model could nowadays be considered a piece of computing prehistory of no other scientific interest than mere curiosity. However, at the conceptual level, Turing's model remains surprisingly up-to-date, to the extent that no scalable model of computation that has ever been physically realized has challenged its power in any essential way. In this talk I want to discuss how the most important questions around Turing's model have inspired the essentials of the modern theory of computational complexity, with the P vs NP problem at its head, followed closely by the theories of computational randomness and quantumness.

Albert Atserias is an Associate Professor at Universitat Politècnica de Catalunya, Barcelona. In 2008 he was a Visiting Scholar at the Computer Science Department of the University of California, Berkeley. Since 2015 he leads a group at the Computer Science Department of UPC with funds from an ERC grant. His research interests include computational complexity, combinatorics, and applications of logic to computer science. In more recent work, his interests included lift-and-project methods from mathematical programming and their application to the analysis of efficient algorithms for combinatorial optimization problems.