POPL 2010 Simposio Lenguajes de Programaciуn Madrid |
lunes, 18 de enero de 2010 |
El Simposio POPL 2010, Simposio sobre Principios de Lenguajes de Programación se celebrará los días 20 al 22 de enero de 2010 en el Hotel Melia Castilla de Madrid, España.
El Simposio anual sobre los principios de lenguajes de programación, POPL 2010, es un foro de para la discusión de todos los aspectos de los lenguajes de programación y sistemas, con énfasis en cómo los principios se basa la práctica. Tanto teóricas como trabajos experimentales son bienvenidos, sobre temas que van desde formales marcos para los informes de la experiencia. Otros eventos simultáneos y co ubicados (algunos de ellos desde el 17 de enero y hasta el 23) con POPL 2010 son: - Conferencia Internacional sobre la verificación, Model Checking, y Resumen de Interpretación ( VMCAI 2010)
- Taller sobre funcionales y (Constraint) Logic Programming (WFLP 2010)
- Taller de Evaluación Parcial y Manipulación de Programas ( PEPM 2010)
- Simposio sobre aspectos prácticos de la declarativa Idiomas ( Padl 2010)
- Taller sobre los tipos en el Lenguaje de Diseño e Implementación ( TLDI 2010)
- Taller sobre Lenguajes de Programación cumple Programa de Verificación (PLPV 2010)
- Taller sobre aspectos de la programación declarativa Multicore ( DAMP 2010)
|