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:
Marcelo Arroyo - UNRC - Río Cuarto
Pablo Barenbaum - ICC (UBA - CONICET) - Buenos Aires
Brian Bokser - FCEyN-UBA - Buenos Aires
Brian Cardiff - Manas.tech - Buenos Aires
Martin Ceresa - UNR/Cifasis-CONICET - Rosario
Alejandro Díaz-Caro - UNQ & ICC (UBA - CONICET) - Buenos Aires
Alejandro Gadea - FAMAF-UNC - Córdoba
Emmanuel Gunther - FAMAF-UNC y CONICET - Córdoba
Carlos Gustavo Lopez Pombo - ICC (UBA - CONICET) - Buenos Aires
Malena Ivnisky - FCEyN-UBA - Buenos Aires
Mauro Jaskelioff - UNR/Cifasis-CONICET - Rosario
Guido Martínez - UNR/Cifasis-CONICET - Rosario
Agustín Eloy Martinez Suñé - ICC (UBA - CONICET) - Buenos Aires
Hernan Melgratti - ICC (UBA - CONICET) - Buenos Aires
Alexandre Miquel - UdelaR - Montevideo
Pablo E. "Fidel" Martínez López - UNQ - Bernal
Federico Olmedo - UChile - Santiago
Miguel Pagano - FAMAF-UNC - Córdoba
Alan Rodas Bonjour - UNQ - Bernal
María Sol Sarratea - Manas.tech - Buenos Aires
Cristian Sottile - UNLP & UNQ - La Plata
Éric Tanter - UChile - Santiago
Francisco Trucco - FAMAF-UNC - Córdoba
Organizadores:
Alejandro Díaz-Caro - UNQ & ICC (UBA/CONICET)
Pablo E. "Fidel" Martínez López - UNQ
Charly López Pombo - ICC (UBA/CONICET)
Beta Ziliani - UNC/CONICET
Financia:
Subsidio para Reuniones Científicas, Tecnológicas y Artísticas RCTyA 1948/18.
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.