Agenda

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

UNIVERSIDAD NACIONAL DE GENERAL SARMIENTO
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 primer anuncio contiene más datos sobre el evento y una breve reseña biográfica sobre A. Turing.

Conferencistas confirmados

Prof. Verónica Becher
Prof. Adriana Gaudiani

Marco histórico y moderación

Prof. Daniel Lvovich
Prof. Luciano Grippo

Materiales audivisuales

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 (melinasarni@gmail.com), Gastón Bidart Gauna (gbidartgauna@gmail.com)

ENTRADA LIBRE Y GRATUITA
Agradecemos previa inscripción AQUÍ

 

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

Programa

7 de noviembre

14:00 Código Enigma

8 de noviembre

14:00 Codebreaker

9 de noviembre

10:00 Código Enigma

14:00 Una introducción a la criptografía.

16:00 Prof. Adriana Gaudiani, Una introducción al concepto de máquina de Turing

10 de noviembre

10:00 Codebreaker

14:00 El Prof. Daniel Lvovich nos explicará el contexto histórico.

14:20 La Prof. Verónica Becher nos contará cómo Turing anticipó el mundo digital actual.

15:30 Entrevista a la Prof. Verónica Becher sobre su trabajo de investigación sobre números normales (continuación de un trabajo original de Turing) a cargo del Prof. Luciano Grippo.

16:10 Pausa y café

16:30 Arte, lenguaje y computación (organiza Lucas Rozenmacher)

17:30 Género y ciencia (organiza Lucas 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.

Aleatoriedad y análisis de algoritmos

Martes 17 y miércoles 18 de octubre de 2017

De 10 a 17 horas

Ciudad Universitaria
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.

Participantes confirmados

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

Valérie Berthé, CNRS, IRIF, Université Paris Diderot, Francia.

Olivier Carton, IRIF, Université Paris Diderot, Francia.

Antonio Cafure, Univ. Nac. de Gral. Sarmiento. Buenos Aires, Arg.

Eda Cesaratto, Univ. Nac. de Gral. Sarmiento. Buenos Aires, Arg.

Pablo Ferrari, FCEN, UBA, ARG.

Loïck Lhote, GREYC, Université de Caen Basse-Normandie, Francia.

Frédéric Paccaut, LAMFA, Université de Picardie Jules Verne, Amiens, Francia.

Brigitte Vallée, CNRS, GREYC, Université de Caen Basse-Normandie, Francia.

WORKSHOP INFINIS 2017

JUEVES 19 de OCTUBRE de 2017
9:30 a.m – 17:30 P.M
Ciudad UniversitariA
Departamento de Computación,
Facultad de Ciencias Exactas y Naturales
Universidad de Buenos Aires (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

  • 9:50-10:15

    Nina Pardal (FCEN, UBA), Una caracterización estructural para completaciones en grafos de intervalos

  • 10:15-10:45

    María Pía Mazzoleni (UNLP), Sobre los grafos que son intersección de caminos en una grilla

10:45-11:00 Coffee break

11:00-12:00

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

  • 11:00-11:40

    Hernán Melgratti (FCEN, UBA), Introduction & Chaperone contracts for higher-order sessions

  • 11:40-12:00

    Christian Roldán, On the formal semantics of replicated data storages

12:00-13:30 Lunch

13:30-14:30 Team: Computational Logic

Santiago Figueira (FCEN, UBA), Introduction

  • Santiago Figueira, Sergio Abriola (FCEN, UBA) and María Emilia Descotte (FCEN, UBA),

    Model and proof theory of data XPath

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

  • 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

  • 16:10-16:35

    Brigitte Vallée (U. de Caen, France), Title: to be determined

  • 16:35-17:00

    Olivier Carton (IRIF, Paris 7, France), Title: to be determined

  • 17:00-17:25

    Loïck Lhote (U. de Caen, France), Analyses of multiple GCD algorithms

 

Participantes confirmados

Pablo Barenbaum, Dpto. de Computación, Fac. Cs. Exactas y Naturales, UBA, Arg.

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

Valérie Berthé, CNRS, IRIF, Université Paris Diderot, Francia.

Flavia Bonomo, Dpto. de Computación, Fac. Cs. Exactas y Naturales, UBA, Arg.

Olivier Carton, IRIF, Université Paris Diderot, Francia.

Eda Cesaratto, Univ. Nac. de Gral. Sarmiento. Buenos Aires, Arg.

Alejandro Díaz-Caro, Univ. Nac. de Quilmes, Buenos Aires, Arg.

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

Luciano Grippo, ICI, Univ. Nac. de Gral. Sarmiento. Buenos Aires, Arg.

Loïck Lhote, GREYC, Université de Caen Basse-Normandie, France.

Carlos Lombardi, Univ. Nac. de Quilmes, Buenos Aires, Arg.

Frédéric Paccaut, LAMFA, Université de Picardie Jules Verne, Amiens, France.

Martín Safe, Univ. Nac. del Sur. Arg.

Alfredo Viola, Univ. de la República, Uruguay

Brigitte Vallée, CNRS, GREYC, Université de Caen Basse-Normandie, Francia.

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.