PROLE Monday

	Monday 17th
8:00	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

Functional Programming Workshop

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

[ Top ] [ PROLE Complete Program ] [ Monday 17th ] [ Tuesday 18th ] [ Wednesday 19th ]





Functional Programming Workshop

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.

[ Top ] [ PROLE Complete Program ] [ Monday 17th ] [ Tuesday 18th ] [ Wednesday 19th ]





Functional Programming Workshop

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

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

[ Top ] [ PROLE Complete Program ] [ Monday 17th ] [ Tuesday 18th ] [ Wednesday 19th ]