II TALLER DE PROGRAMACIÓN FUNCIONAL (TPF'2010)

Valencia, 7 de Septiembre de 2010

 
 
Presentación
Comités
Programa
Contacto
CEDI 2010
 
     
  PRESENTACIÓN  
 


El II Taller sobre Programación Funcional (TPF2010) constituye un marco propicio de reunión, debate y divulgación para los grupos españoles que investigan en temas relacionados con la programación funcional. La II edición de este taller tendrá lugar en Valencia el 7 de septiembre de 2010, en el marco del III Congreso Español de Informática (CEDI 2010).

TPF'10 es un foro de discusión sobre experiencias, trabajos y aplicaciones de la programación funcional en el que se pueden presentar propuestas con tono tanto formal como informal. En TPF se presentan trabajos relacionados con lenguajes de programación con una fuerte componente funcional (p.e. Haskell, F#, Ocaml, SML, Erlang, Lisp, Toy, Curry, Maude, etc.) o que puedan ser de interés para desarrolladores de lenguajes funcionales. Ejemplos de propuestas de interés para la comunidad TPF son:

  • Trabajos realizados por estudiantes como resultado de proyectos de Fin de Carrera o de Fin de Master, becas o similares.
  • Trabajos de investigación relacionados con la programación funcional (algoritmos, estructuras de datos, análisis, técnicas de programación, optimización, tipos, etc.).
  • Herramientas o librerías implementadas en parte o en su totalidad usando programación funcional. Se incluyen aquí librerías que conecten lenguajes funcionales con otras herramientas (p.e. web, gráficos, otros lenguajes, etc.).
  • Experiencias en el uso de lenguajes funcionales en la empresa.
  • Demostraciones de proyectos en desarrollo, herramientas, 'perlas' de programación o conceptos avanzados.
  • Demostraciones sobre la utilización de conceptos avanzados de la programación funcional para realizar algoritmos o estructuras de datos complejos.
  • Experiencias docentes (tanto en la docencia de la programación funcional propiamente como en la conexión con otras materias como estructuras de datos, compiladores, teoría de la programación, etc.).
 
     
  COMITÉS  
 


Comité Científico

Rafael Caballero (U. Complutense de Madrid)
Laura Castro (U. de A Coruña)
Francisco Gutierrez
(U. de Málaga)
José Iborra (U. Politécnica de Valencia)
Salvador Lucas (U. Politécnica de Valencia)
Pablo Nogueira (U. Politécnica de Madrid)
Ricardo Peña
(U. Complutense de Madrid)
Josep Silva
-Presidente CP- (U. Politécnica de Valencia)
Mateu Villaret
(U. de Girona)

Comité Organizador

Antonio Bella
Marco Antonio Feliú
Raúl Gutiérrez
David Insa
Daniel Romero
Sonia Santiago
Salvador Tamarit
Alicia Villanueva

 
     
  PROGRAMA  
 


Martes 7 de Septiembre de 2010 – II Taller de Programación Funcional (TPF'2010)

Edificio 1E (Sala 0-3)

9:15-10:30 Taller de Programación Funcional – Sesión 1  
Apertura
Josep Silva

 
Seminario “Programación Funcional en la Industria”
Carlos Abalde
 
10:30-11:00 Descanso para almorzar  
11:00-12:30 Taller de Programación Funcional – Sesión 2
 
Seminario “Programación Genérica Funcional”
Pablo Nogueira
 
Sistema de Control para un Dispositivo de Entretenimiento Doméstico en Erlang
Samuel Rivas y Victor M. Gulias

 
12:30-12:45
Descanso  
12:45-14:15
Taller de Programación Funcional – Sesión 3  
Una implementación del lambda-cálculo en Prolog
Juan Antonio Guerrero, Gines Moreno y Carlos Vázquez

 
Fibonacci Heaps in Haskell
Ricardo Peña

 
Implementing Type Classes using Type-Indexed Functions
Enrique Martin-Martin
 
14:15-16:30 Descanso para comer  
16:30-18:00 Taller de Programación Funcional – Sesión 4
 
Seminario “Tipos Avanzados”
Gilles Barthe
 
El Cubo Beta
Álvaro Garcia, Pablo Nogueira y Emilio Jesús Gallego Arias
 
 
     
  CONTACTO  
 


Josep Silva

Presidente Comité de Programa TPF 2010

Universidad Politécnica de Valencia
Departamento de Sistemas Informáticos y Computación

e-mail: jsilva@dsic.upv.es