PROLE Lunes

XII Jornadas sobre Programación y Lenguajes

Programa Sesiones - PROLE 2012

	Lunes 17
8:00	8:00 - 9:00 Buses + Registro (Todo el día)
	8:00 - 9:00 Buses + Registro (Todo el día)
9:00	9:00 - 10:30 TPF - Charla invitada TPF - Seminario @Turing

10:00
	10:30 - 11:00 Café
11:00	11:00 - 12:30 Artículos TPF TPF

12:00
	12:30 - 13:30 Inauguración SISTEDES 2012
13:00

	13:30 - 15:00 Comida
14:00

15:00	15:00 - 16:30 TPF - Tutorial TPF - Charla invitada @Turing

16:00
	16:30 - 17:00 Café
17:00	17:00 - 18:30 @Turing - Mesa redonda "La investigación científica informática y el año Turing"

18:00

	18:30 - 20:00 Asamblea Sistedes

19:00

20:00	20:00 - 20:30 Buses Organización

21:00


22:00	22:00 - 23:30 Vino Recepción

23:00

Lunes 17 de Septiembre
(9:00 - 10:30)

Taller de Programación Funcional

Sesión 1

Jose Iborra. Eden: An F#/WPF framework for building GUI tools. @Turing - Charla invitada

Pablo Nogueira. Los cálculos lambda y lambda-value y sus estrategias de reducción. @Turing - Seminario

[ Inicio ] [ Programa Completo PROLE ] [ Lunes 17 ] [ Martes 18 ] [ Miércoles 19 ]

Lunes 17 de Septiembre
(11:00 - 12:30)

Taller de Programación Funcional

Sesión 2

Alvaro Garcia-Perez and Pablo Nogueira. Enfoque Normal y Enfoque Spine para Reducción en el Cálculo Lambda Puro.

David Insa, Josep Silva, Salvador Tamarit and César Tomás. Fragmentación de Programas con Emparejamiento de Patrones.

Macías López Iglesias, Laura M. Castro and David Cabrero. Sistema funcional distribuido de publicidad para iDTV.

[ Inicio ] [ Programa Completo PROLE ] [ Lunes 17 ] [ Martes 18 ] [ Miércoles 19 ]

Lunes 17 de Septiembre
(15:00 - 16:30)

Taller de Programación Funcional

Sesión 3

Ricardo Peña. Programación con paralelismo de datos en Haskell. @Turing - Tutorial

Diana Parra. Erlang, del laboratorio a la empresa. @Turing - Charla Invitada

[ Inicio ] [ Programa Completo PROLE ] [ Lunes 17 ] [ Martes 18 ] [ Miércoles 19 ]