Participation of the ELP group in Research Projects

Current Projects:


Past Projects:

International projects

Binational projects

Italian & Spanish Sc Research Councils Acción Integrada Hispano-Italiana

Deutsch & Spanish Sc Research Councils Acciones Integradas Hispano-Alemanas

Austrian& Spanish Sc Research Councils Acción Integrada Hispano-Austriaca

  • HU2003-003:   Programmable Strategies in Functional Programming: Logics and Optimizations

  • HU2001-0019: Computational Strategies in Declarative Programming

    Salvador Lucas; Technical U. Valencia UPV | Bernhard Gramlich; T.U. Wien
National Projects (Spanish Research Funding Agency)

Regional Projects

Generalitat Valenciana

  • PROMETEO/2011/052 LOGICEXTREME: Logic Technology and Secure Software

    María Alpuente; Grupos de Investigación de Excelencia GV, 2011-2014

  • SAFECERT: Verificación y certificación de software seguro y de calidad

    S. Escobar; UPV

  • FAST: Formal techniques for Applied Software Technology

    S. Lucas; UPV

  • FLIP: Desarrollo de un sistema para la inducción de programas lógico-funcionales

    M.J. Ramírez; UPV

  • HADOS: Herramientas Avanzadas para el DesarrollO del Sofware

    S. Lucas; UPV

  • TECFRAM: Técnicas de Fragmentación de Programas Declarativos Multi-Paradigma

    G. Vidal; UPV

UPV

  • TACPAS: Técnicas Ágiles de Calidad para el Software

    A. Villanueva; UPV

  • ELDA

    M. Alpuente

  • Programa INNOVA: Entorno de Desarrollo para Lenguajes Declarativos Multiparadigma

    M. Alpuente; UPV

  • FLIP: Desarrollo de un sistema para la inducción de programas lógico-funcionales

    M.J. Ramírez; UPV

  • Modelización de Sistemas Concurrentes

    J. Oliver; UPV

  • Tecnología Declarativa aplicada a la Resolución de Sistemas Lineales y Análisis de Redes de Petri

    G. Vidal; UPV