2do encuentro FunLeP

Fundamentos de Lenguajes de Programación

22 al 24 de mayo de 2019

Universidad Nacional de Quilmes

Roque Sáenz Peña 352, Bernal, Buenos Aires, Argentina

La Universidad Nacional de Quilmes será sede del segundo encuentro del grupo de investigadores de Lenguajes de Programación "FunLeP".

FunLeP es un grupo de investigadores de la región (Argentina, Brasil, Uruguay y Chile) que tiene por objetivo vincular investigadores en fundamentos de lenguajes de programación. Este es el segundo encuentro (el primero se realizó en Rosario en agosto de 2018), el cual contará con presentaciones, paneles de debates y talleres.

Participantes confirmados:

  1. Marcelo Arroyo - UNRC - Río Cuarto
  2. Pablo Barenbaum - ICC (UBA - CONICET) - Buenos Aires
  3. Brian Bokser - FCEyN-UBA - Buenos Aires
  4. Brian Cardiff - Manas.tech - Buenos Aires
  5. Martin Ceresa - UNR/Cifasis-CONICET - Rosario
  6. Alejandro Díaz-Caro - UNQ & ICC (UBA - CONICET) - Buenos Aires
  7. Alejandro Gadea - FAMAF-UNC - Córdoba
  8. Emmanuel Gunther - FAMAF-UNC y CONICET - Córdoba
  9. Carlos Gustavo Lopez Pombo - ICC (UBA - CONICET) - Buenos Aires
  10. Malena Ivnisky - FCEyN-UBA - Buenos Aires
  11. Mauro Jaskelioff - UNR/Cifasis-CONICET - Rosario
  12. Guido Martínez - UNR/Cifasis-CONICET - Rosario
  13. Agustín Eloy Martinez Suñé - ICC (UBA - CONICET) - Buenos Aires
  14. Hernan Melgratti - ICC (UBA - CONICET) - Buenos Aires
  15. Alexandre Miquel - UdelaR - Montevideo
  16. Pablo E. "Fidel" Martínez López - UNQ - Bernal
  17. Federico Olmedo - UChile - Santiago
  18. Miguel Pagano - FAMAF-UNC - Córdoba
  19. Alan Rodas Bonjour - UNQ - Bernal
  20. María Sol Sarratea - Manas.tech - Buenos Aires
  21. Cristian Sottile - UNLP & UNQ - La Plata
  22. Éric Tanter - UChile - Santiago
  23. Francisco Trucco - FAMAF-UNC - Córdoba

Organizadores:

Financia:




Subsidio para Reuniones Científicas, Tecnológicas y Artísticas RCTyA 1948/18.

Con el apoyo de:

Programa:

Miércoles 22

14:00 Bienvenida

14:35 Charly López Pombo - A full operational semantics for asynchronous relational nets (slides)

15:10 Guido Martínez - Morfismos de clase en Haskell (slides)

15:45 Café

16:30 Brian Cardiff - Crystal: tipos, peculiaridades y desafíos (slides)

17:05 Marcelo Arroyo - Type state analysis (slides)

Jueves 23

10:00 Éric Tanter - Tutorial: The essence of gradual typing (slides)

11:30 Café

12:00 Hernan Melgratti - Redes de Petri, probabilidades y razonamiento bayesiano

12:35 Almuerzo

14:25 Agustín Martínez Suñé - Towards automating quality-of-service evaluation in service-oriented computing

15:00 Charlas grupales

17:00 Café

17:30 Puesta en común

Viernes 24

10:00 Alexandre Miquel - Tutorial: Realizability for designing programming languages (slides)

11:30 Café

12:25 Miguel Pagano - Coherencia de una semántica intrínseca usando una semántica extrínseca (slides)

13:00 Almuerzo

14:35 Alejandro Díaz-Caro - A logic identifying isomorphic propositions (slides)

15:10 Pablo Barenbaum - Finite family developments para el cálculo de substituciones lineales

15:45 Café

16:30 Alejandro Gadea - Biortogonalidad para la corrección de un compilador para un lenguaje lazy

17:05 Emmanuel Gunther - Primeros pasos hacia una formalización de forcing en Isabelle/ZF

17:30 Francisco Trucco - Verificación Formal de Lógicas Modales Dinámicas En Coq

Abstracts

Cómo llegar

El encuentro se lleva a cabo los días miércoles y viernes en el áula 22 (al lado del auditorio), y el jueves en el auditorio.

Cómo llegar desde la Ciudad Autónoma de Buenos Aires (CABA) a la Universidad Nacional de Quilmes

Opción 1:

Miércoles y jueves (viernes deberán utilizar la opción 2) habrá una combi ida y vuelta (identificada con el logo de la UNQ). Para utilizar dicha combi, deben enviar un email a Alejandro Díaz-Caro. Los detalles de punto de recolección se los daremos por email.

Opción 2:

Desde Estación Constitución (final de la línea C de subterráneos), tomar un tren a Bernal. Los trenes se anuncian en una pantalla central, con todas sus paradas. Se debe buscar aquella en la que figure Bernal. Desde la estación Bernal hasta la Universidad hay 300 metros. Aquí un mapa de Google Maps:

Opción 3:

Uber o Taxi llega muy rápido ya que hay un camino directo por autopista. Ejemplo: Uber desde Estación Constitución hasta UNQ cuesta al rededor de 300 pesos argentinos.

Como llegar desde Ezeiza a CABA

La forma más práctica, segura y barata es Uber. La segunda opción, menos económica, es Tienda León, que son servicios de traslado que se compran en Ezeiza antes de salir de la terminal.