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:

• 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

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