Agenda

ECOS DE LA FIGURA Y DE LA OBRA DE TURING EN ARGENTINA

UNIVERSIDAD NACIONAL DE GENERAL SARMIENTO (cómo llegar)
Del 7 al 10 de noviembre de 2017

La vida y obra de Alan M. Turing (1912-1954) nos invitan a reflexionar sobre aspectos de la actividad científica y su relación con la sociedad. En este evento recorreremos algunos de estos aspectos desde una perspectiva local, acompañados por invitados especialistas.

 

Este anuncio contiene más datos sobre el evento y una breve reseña biográfica sobre A. Turing.
Siga este enlace para ver el PROGRAMA DE CHARLAS Y CONVERSATORIOS.
Siga este enlace para ver el HORARIO COMPLETO que incluye la proyección de las películas.

ENTRADA LIBRE Y GRATUITA
Agradecemos previa inscripción AQUÍ

 

Para saber cómo llegar al campus de la UNGS, hacer click AQUÍ.

Temas e invitados

Jueves 9 de noviembre de 2017 de 13:30 a 18. Aula 103, Planta Baja, Módulo 1

  • Criptografía: desde enigma al homebanking
    Invitados especialistas: Dr. Ariel Waissbein (UBA, consultor privado) y Dr. Nicolás Sirolli (UBA).
    Marco histórico: Dr. Daniel Lvovich (UNGS & CONICET)
    Moderador: Esp. Jorge kamlofsky (consultor privado, UTN y UAI)

    Ariel Waissbein y Nicolás Sirolli nos van a explicar los desafíos que planteaba romper Enigma, cómo fue criptoanalizada, y en particular cuáles fueron las contribuciones de Turing para conseguirlo. En paralelo nos contarán cuáles son los desafíos análogos que vivimos hoy en día en el mundo de la seguridad y la criptología, y cómo los encaramos.

    Desde enigma al homebanking. Por Ariel Waissbein
    Revoluciones en la criptografía post Turing. Por Nicolás Sirolli.

  • ¿Tenemos una máquina de Turing dentro de nuestro celular?
    Invitado especialista: Dr. Tomás Tetzlaff (UNGS)

    Tomás Tetzlaff nos contará cómo las Máquinas de Turing a pesar de su sencillez, son capacesde realizar cualquiera de operaciones que realiza una computadora actual, siendo la velocidad de cómputo lo que las diferencia. Nos describirá la máquina de Turing, nos explicará cómo funciona y expondrá sus limitaciones en la resolución de problemas, que son por lo tanto limitaciones comunes a todas las computadoras. Se comparará el logro de Turing con otros intentos de mecanizar el pensamiento.

Viernes 10 de noviembre de 2017, de 13:30 a 18. Aula 103, Planta Baja, Módulo 1

  • ¿Por qué a Alan Turing le decimos “el padre de la Computación”?
    Invitada especialista: Dra. Verónica Becher (UBA & CONICET)
    Marco histórico: Prof. César Mónaco (UNGS)
    Moderador: Dr. Luciano Grippo (UNGS)

    Verónica Becher nos contará la historia del artículo de Alan Turing de 1936 donde, por primera vez, define la computadora como objeto matemático. En este trabajo es esencial la demostración de lo que las computadoras no pueden hacer. Además, Becher explicará su experiencia al releer los manuscritos originales de Turing y cómo su tarea de investigación continúa directamente el trabajo de Alan Turing sobre números normales.

  • Arte y programación computacional.
    Especialista: Juan Miceli.
    Moderador: Lucas Rozenmacher.

    Para ver la producción de este artista audiovisual cuya obra incorpora elementos de programación y nociones de aleatoriedad, seguir estos enlaces:
    https://www.youtube.com/watch?v=r96ubd1EjeA
    https://www.youtube.com/watch?v=MOlYcAbkCHI

  • Ciencia y género
    La homosexualidad de Turing y la presencia de la matemática Joan Clarke dentro de su equipo durante la segunda guerra mundial nos invitan a pensar en la problemática sobre ciencia y género en la Argentina.

    Organiza Lucas Rozenmacher

Materiales audiovisuales

Las películas se proyectarán en la videoteca de la biblioteca.

La película Codebreaker es un ambicioso documental dramático sobre la vida y obra de Alan Turing, dirigido por Clare Beavan y producido por Story Center Productions, Furnace y Channel 4, en el año 2011. Contamos con la película y su versión subtitulada por la gentileza de la profesora Verónica Becher.

La película Código Enigma es una dramatización biográfica sobre la vida de Alan Turing protagonizada por Benedict Cumberbatch como Turing y dirigida por Morten Tyldum con guion de Graham Moore, basado en la biografía de Alan Turing titulada The Enigma, de Andrew Hodges. Fue estrenada comercialmente en la Argentina en 2015.

Organizadores

Eda Cesaratto, Marcela Falsetti, Lucas Rozenmacher y Cristian Conde

Colaboradores

Melina Sarni ([email protected]), Gastón Bidart Gauna ([email protected]) y Rodrigo Moreno.

 

Horario

Las películas se proyectarán en la videoteca de la biblioteca
Las charlas y conversatorios serán en el aula 103 del Módulo 1
Martes 7 Miércoles 8 Jueves 9 Viernes 10
10 a 11.30 Proyección de la película
Código Enigma
Proyección de la película
Codebreaker
13:30 a 14 Presentación Presentación
14 a 14:30 Proyección de la película
Código Enigma
Proyección de la película
Codebreaker
Introducción histórica
D. Lvovich
Introducción histórica
C. Mónaco
14:30 a 15:15 N. Sirolli
Criptografía
V. Becher
Turing: “El padre de la computación”
15:15 a 16 A. Waissbein
Criptografía
Conversatorio V. Becher
Modera L. Grippo
16:00 a 16:30 Proyección de la película
Codebreaker
Proyección de la película
Código Enigma
Pausa y café Pausa y café
16:30 a 17:10 Conversatorio con A. Waissbein, N. Sirolli
Modera J. kamlofsky

Ciencia y Género
17:10 a 17:50 Tomás Tetzlaff
Máquinas de Turing
Arte y computación
Juan Miceli
Modera: Lucas Rozenmacher

Programa: Charlas y conversatorios

Aula 103, planta baja del Módulo 1.
9 de noviembre
13:30 Presentación y cortes de película
14:00 Daniel Lvovich Presentación del marco histórico
14:30 Nicolás Sirolli Revoluciones en la criptografía post Turing
15:15 Ariel Waissbein De Enigma al homebanking
16:00 Pausa y café
16:30 Conversatorio con N. Sirolli y A. Waissbein Modera Jorge Jorge kamlofsky
17:10 a 17:50 Tomás Tetzlaff Una introducción a las máquinas de Turing
10 de noviembre
13:30 Presentación y cortes de película
14:00 César Mónaco Marco histórico
14:30 Verónica Becher ¿Por qué a Alan Turing le decimos “el padre de la Computación”?.

15:15 Conversatorio con Verónica Becher Modera Luciano Grippo
16:00 Pausa y café
16:30 Género y ciencia Organiza L. Rozenmacher
17:10 a 17:50 Juan Miceli
Modera: Lucas Rozenmacher
Arte y computación

Algunos links interesantes sobre la vida y la obra de A. Turing

Seminario sobre A. M. Turing en los 100 años de su nacimiento (Universidad de la República, Uruguay)

ACM A. M. Turing centenary celebration (Sitio de la Association for Computing Machinery sobre los festejos que esta asociación organizó conmemorando los 100 años del nacimiento de A. Turing).

Alan Turing: The Enigma Este sitio es una extensión del libro The Enigma de A. Hodge sobre A. Turing y está mantenido por el propio Hodge.

Conociendo a los disertantes

Verónica Becher
La Dra. Verónica Becher es Profesora Asociada de la Fac. de Cs. Exactas de la UBA e Investigadora Principal del CONICET. Cuenta con unas 50 publicaciones en revistas internacionales especializadas sobre números normales, autómatas y combinatoria de palabras, complejidad algorítmica entre otros temas. Su relación con la obra de Turing comenzó al desentrañar un manuscrito no publicado de este matemático que dio lugar al artículo “Turing’s unpublished algorithm for normal numbers” (en coatoría con S. Figueira y R. Picchi). Enlace a su página web.

Luciano Grippo
Luciano Grippo es Doctor en Matemática por la Universidad de Buenos Aires. Cuenta con numerosas publicaciones en revistas y en actas de congresos internacionales sobre teoría de grafos. Actualmente es profesor de la Univ. Nac. de Gral. Sarmiento. Enlace a su página web.

Lic. Jorge Kamlofsky
Jorge Kamlofsky es Licenciado en Matemática egresado de la UAI (Universidad Abierta Interamericana), Especialista en Criptografía y Seguridad teleinformática y egresado de la EST (Facultad de Ingeniería del Ejército). Cuenta con numerosas publicaciones en congresos nacionales e internacionales relacionados con Visión Robótica y Seguridad Informática. Actualmente se desempeña como docente en la UAI y en la Universidad Tecnológica Nacional y trabaja en el sector privado como asesor y en el desarrollo de soluciones relacionadas con Criptografía para empresas y organismos gubernamentales.

Nicolás Sirolli
El Dr. Sirolli es Doctor en Matemática por la Fac. de Cs. Exactas de la UBA. Actualmente es Jefe de trabajos prácticos con dedicación exclusiva del Departamento de Matemática de esa facultad. Su especialidad es la teoría de números. Enlace a su página web.

Tomás Tetzlaff
El Dr. Tetzlaff es Licenciado en Biología (UBA) Licenciado en Matemática (UNLP) y Doctor en Computación (UBA) Especialista en Estadística (UBA) Investigador docente del Instituto de Ciencias de la Universidad Nacional de General Sarmiento, donde dirige el proyecto: “Probabilidad,estadística y minería de datos”.

Ariel Waissbein
El Dr. Ariel Waissbein es Lic. y Dr. en Computación por la Fac. de Cs. Exactas de la UBA. Ha participado y dirigido tareas de desarrollo e investigación en la empresa Core Security (1999-2013) realizando análisis, consultoría, diseño y desarrollo de sistemas, protocolos,aplicaciones, tecnologías y políticas relacionadas con la Seguridad Informática. Desde 2013 es consultor independiente y como tal ha realizados consultorías sobre seguridad informática, la criptología, voto electrónico, marketing, encuestas y predicciones basados en datos.

Resúmenes de las charlas

“De Enigma al homebanking” por Ariel Waissbein

En esta charla voy a desmenuzar los desafíos que plateaba romper Enigma, cómo fue criptoanalizada, y en particular cuáles fueron las contribuciones de Turing para conseguirlo. En paralelo quiero contarles cuáles son los desafíos análogos que vivimos hoy en día en el mundo de la seguridad y la criptología, y cómo los encaramos. A este respecto, es interesante recalcar las vulnerabilidades de Engima que se conocían, las hipótesis de los alemanes sobre su in-violabilidad y los avances que llevaron a su criptoanálisis.

“Revoluciones en la criptografía post Turing” por Nicolás Sirolli

A partir de los desarrollos tecnológicos que permitieron realizar telecomunicaciones de manera rápida y accesible surgió la necesidad de poder intercambiar información a través de canales inseguros, sin comprometer la privacidad. En esta charla contaremos cómo la criptografía de clave pública, basándose en problemas matemáticos fáciles de describir pero difíciles de resolver, resuelve este problema, permitiendo que dos (o más) personas se comuniquen de manera segura sin acordar previamente una clave privada.

Volver arriba.

Aleatoriedad y análisis de algoritmos

Martes 17 y miércoles 18 de octubre de 2017

De 10 a 17 horas

Ex-Infoteca, Pabellón 1, Ciudad Universitaria (mapa)
Departamento de Computación, Facultad de Ciencias Exactas y Naturales
Universidad de Buenos Aires.

Este encuentro es acerca de problemas en la interfase entre matemática e informática en los cuales la aleatoriedad juega un papel central. La noción de aleatoriedad es primitiva en la teoría de las probabilidades y el objetivo es tratar con dos perspectivas diferentes de esta que comparten los mismos objetos de estudio: autómatas, sucesiones, palabras y números.

La organización está a cargo del proyecto Alea En Amsud (STIC AMSUD 2016-2017) y de los siguientes grupos del Laboratorio INFINIS:

Este encuentro precede al Workshop INFINIS que tendrá lugar el día 19 de octubre en el Dpto. de Computación de la FCEyN, UBA.

Programa

Martes 17/10

  • 10:30 Brigitte Vallée, CNRS, GREYC, Université de Caen Basse-Normandie, France.

    Dichotomic Search and Basis Changing (Joint work with Julien Clément, Dimitri Darthenay and Loïck Lhote).
    Abstract. Presentación.

  • 14:30 Verónica Becher, Dpto. de Computación, Fac. Cs. Exactas y Naturales, UBA, Arg.

    A construction of an absolutely normal and continued fraction normal number (Joint work with Sergio Yuhjtman). Abstract. Presentación.

  • 15.30
    Valérie Berthé, CNRS, IRIF, Université Paris Diderot, France.

    Probabilistic analysis of continued fractions algorithms in positive characteristic. Presentación.

Miércoles 18/10

  • 14:00 Santiago Figueira,Dpto. de Computación, Fac. Cs. Exactas y Naturales, UBA, Arg.

    Normality in non-integer bases and polynomial time randomness(Joint work with Javier Almarza). Abstract.

  • 15:00 Frédéric Paccaut, LAMFA, Université de Picardie Jules Verne, Amiens, France.

    Necessary and sufficient conditions for existence and uniqueness of an invariant measure for a class of variable length markov chains. Abstract. Presentación.

  • 16:00 Pablo Ferrari, Dpto. de Matemática, Fac. Cs. Exactas y Naturales, UBA, Arg.

    Soliton decomposition in the Box Ball System in Z.Abstract

Participantes

Verónica Becher (FCEyN, UBA & CONICET), Valérie Berthé (Paris 7 & CNRS), Antonio Cafure (Univ. Nac. de Gral Sarmiento & CONICET), Eda Cesaratto (Univ. Nac. de Gral Sarmiento & CONICET), Loïck Lhote (U. de Caen, France), Frédéric Paccaut (U. de Picardie Jules Verne, Amiens, France), Martín Safe (Univ. Nac. del Sur), Brigitte Vallée (U. de Caen & CNRS) y Alfredo Viola (U. de la República, Uruguay).

Principales temas de investigación

Perfect simulation for continued fractions with constraints

Generic instances which meet the average case an extension process alllowing larger generic instances.

Trees for zero entropy sources: characteristic sturmian words (Farey), Sturmian words, Farey Source.

Dolgopyat estimates for alpha-euclidean dynamics

Description with words of binary cyclotomic polynomials

WORKSHOP INFINIS 2017

JUEVES 19 de OCTUBRE de 2017
9:30 a.m – 17:30 P.M
Departamento de Computación,
Facultad de Ciencias Exactas y Naturales
Universidad de Buenos Aires
Aula 3 del Pabellón 1. Ciudad Universitaria (mapa)

 

 

INFINIS es un Laboratorio Internacional Asociado del CNRS-Université Paris Diderot y del CONICET-Universidad de Buenos Aires especializado en métodos formales en Ciencias de la Computación. Fue creado en 2011.

Durante este workshop, cada grupo del laboratorio INFINIS presentará sus temas actuales de investigación y sus perspectivas.

Las charlas están destinadas a estudiantes de grado, posgrado e investigadores interesados en Ciencias de la Computación. No es necesario inscribirse. Están todos bienvenidos.

 

Programa

9:30 a 9:45

Sergio Yovine (FCEN, UBA), Opening

9:45-10:45 Team: Graph Theory and Combinatorial Optimization

Flavia Bonomo (FCEN, UBA), Introduction

10:45-11:00 Coffee break

11:00-12:00

Team: Formal Specification, Verification and Implementation of Concurrent Real-Time Embedded Systems

12:00-13:30 Lunch

13:30-14:30 Team: Computational Logic

Santiago Figueira (FCEN, UBA), Introduction

14:30-15:30 Team: Logics and Dynamics of Programming Languages

Alejandro Díaz-Caro (UNQ, Arg.), Introduction

  • 14:40-15:05

    Pablo Barenbaum (FCEN, UBA), Foundations of Strong Call by Need.
    Presentación.

  • 15:05-15:30

    Carlos Lombardi (UNQ, Arg.), A proof-term characterisation of infinitary rewriting

15:30-16 Coffee break

16-17:30 Team: Randomness and analysis of algorithms

Verónica Becher (FCEN, UBA), Introduction

Tercera Escuela de Matemáticas (EMASUNGS III) – Sabrina Victoria Vieiro

Desde hace tres años el Instituto de Ciencias y el del Desarrollo Humano organizan todos los inviernos esta escuela breve  destinada a estudiantes y graduados de carreras de matemática.

La escuela consta de cursos y talleres que tienen lugar a lo largo de una semana. Para más información sobre esta edición de la escuela haga click aquí.

XXI Coloquio Latinoamericano de Álgebra

Entre el 25 y el 29 de julio de 2016 se llevará a cabo el XXI Coloquio Latinoamericano de Álgebra en la Facultad de Ciencias Exactas y Naturales de la Universidad de Buenos Aires. Esta edición del coloquio incluye una sesión sobre cuerpos finitos.

Workshop S07
Cuerpos Finitos

28 y 29 de julio de 2016

Responsable:

Fernando Torres, UniCamp, Brasil

Colaboradores:

Antonio Cafure, UNGS, Argentina & Daniel Panario, Carleton University, Canadá
Conferencistas

Cícero Carvalho
(Universidade Federal de Uberlândia, Brasil) Slides

María Chara (IMAL, Santa Fe, Argentina) Slides

Matilde Lalín (University of Montreal, Canada) Slides

Guillermo Matera (Universidad Nac. de Gral. Sarmiento, Argentina) Slides

Lucía Moura (University of Toronto, Canada) Slides

Horacio Navarro (IMAL, Santa Fe, Argentina), Slides

Wilson Olaya (Universidad Industrial de Santander, Colombia) Slides

Daniel Panario, (Carleton University, Canadá) Slides

Melina Privitelli (Universidad Nac. de Gral. Sarmiento, Argentina) Slides

Ricardo A. Podestá (Universidad Nacional de Córdoba, Argentina) Slides

Adriana Salerno (Bates College, USA) Slides

Leo Storme (University of Ghent, Bélgica) Slides

Fernando Torres, (UniCamp, Brasil)

Guilherme Tizziotti (Universidade Federal de Uberlândia, Brasil) Slides

Pósters

Antonio Andrade (Universidade Estadual Paulista, Brasil) Póster

Leandro Bezerra de Lima (UniCamp, Brasil) Póster

Carina Alves, (UNESP,Brasil) Póster

V. G. Lopez Neumann, (Universidade Federal de Uberlândia, Brasil) Póster


Aquí podrán encontrar los horarios y abstracts de las charlas y los pósters que se presentarán en la sesión.