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 (a confirmar)
    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

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

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 Juan Miceli
Modera: Lucas Rozenmacher
Arte y computación
17:10 a 17:50 Género y ciencia (a confirmar) Organiza L. Rozenmacher

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.

Randomness and Analysis of Algorithms

October 17 – 18, 2017

Ex-Infoteca, Pabellón 1. Ciudad Universitaria (map)

Departamento de Computación, Facultad de Ciencias Exactas y Naturales
Universidad de Buenos Aires.

10:00 am-17 pm

This meeting is about problems at the interface of mathematics and computer science, where the notion of randomness plays a central role. Randomness is a primitive notion in probability theory, and the goal is to deal with two different perspectives on randomness, which share the same objects of study, namely automata, sequences, words and numbers.

It is organised by the project Alea En Amsud (STIC AMSUD 2016-2017) and the following teams of INFINIS Lab

This meeting will precede  the INFINIS WORKSHOP that will be held on October 19 also in the Departamento de Computación, Facultad de Ciencias Exactas y Naturales, UBA.

Program

Tuesday 17

  • 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. Slides.

  • 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. Slides.

Wednesday 18

    • 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. Slides.

    • 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

    Participants

    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) and Alfredo Viola (U. de la República, Uruguay).

    Main subjects of research

    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

    Average case analysis of gcd algorithm when one input is fixed.

    Computation of constants for te Gaussian limit law.

WORKSHOP INFINIS 2017

  THURSDAY, OCTOBER 19, 2017
9:30 a.m – 17:30 P.M.
Departamento de Computación,
Facultad de Ciencias Exactas y Naturales,
Universidad de Buenos Aires
Room 3, Pabellón 1, Ciudad Universitaria (map)

 

 

INFINIS is an International Associated Lab. The institutions involved are CNRS-Université Paris Diderot and CONICET-Universidad de Buenos Aires. Its subjects of interest are formal methods in Computer Science. It was created in 2011.

During this workshop each team of INFINIS will present their main subjects of research and their perspectives. The talks are addressed to students and researchers interested in Computer Science.

Registration is not required. Everybody is welcome.

 

Program

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. Slides.
  • 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

 

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

Sorry, this entry is only available in European Spanish.

XXI Coloquio Latinoamericano de Álgebra

The XXI Coloquio Latinoamericano de Álgebra took place at the Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires, Argentina during July 25-29, 2016. This time the colloquium included a thematic session on finite fields.

Workshop S07
Finite Fields

July 28 and 29, 2016

Chair

Fernando Torres, UniCamp, Brasil

Collaborators

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

Speakers

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

Posters

Antonio Andrade (Universidade Estadual Paulista, Brasil) Poster

Leandro Bezerra de Lima (UniCamp, Brasil) Poster

Carina Alves, (UNESP,Brasil) Poster

V. G. Lopez Neumann, (Universidade Federal de Uberlândia, Brasil) Poster

Here you can find the timetable and the abstracts of talks and posters