Participation of the ELP group in Projects


Current (and Recent) Projects


DEUKS: Doctoral School towards European Knowledge Society  

U. DEGLI STUDI DI UDINE (I) - Marina Lenisa (grantholder)   
U. NOVI SAD (RS) - Silvia Ghilezan (co-ordinator)
U. POLITECNICA DE VALENCIA - Valencia (ES) - Salvador Lucas

International PhD in Computer Science

U. DEGLI STUDI DI UDINE (I) - Furio Honsell (grantholder)   
U. POLITECNICA DE VALENCIA - Valencia (ES) - María Alpuente

LERnet: LER-Language Engineering and Rigorous Software Development  

    Alberto Pardo | Roberto Uzal | Carlos Camarao | Francisco Correa | Gustavo Villavicencio | Pedro Rangel Henriques,
    Luis Soares Barbosa, Jorge Sousa Pinto | Doaitse Swierstra | Pascual Julian Iranzo | Salvador Lucas | Peter Dybjer | Gilles Barthe

EU-India  Economic Cross-Cultural Programme  

       Slides Final Conference

        Furio Honsell       U. degli Studi di Udine;       Stefano Rovetta  U. degli Studi di Genoa
        María Alpuente    Technical U. Valencia UPV;  B.G. Sidharth      B.M Birla SC, Hyderabad, India

 

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

           Salvador Lucas       Technical U. Valencia UPV
         Bernhard Gramlich  T.U. Wien

IST-FET Network of Excellence

Spanish Research Consortium for Informatics and Mathematics SpaRCIM (part of ERCIM)

National Projects ( Spanish Research Funding Agency )

  • TIN 2010-21062-C02 SweetLogic
       
    Abert Rubio, UPC/Salvador Lucas, UPV
  • TIN 2007-68093-C02 TechnoLogic
       
    Abert Rubio, UPC/Salvador Lucas, UPV
  • TIN 2004-7943-C04-02 SELF
       
    Ernesto Pimentel, UMA/María Alpuente, UPV/Pascual Julián, UCLM/Ricardo Peña, UCM
  • TIC 2001-2705-C03-01 STREAM 
       
    María Alpuente, UPV/Ernesto Pimentel, UMA/Ginés Moreno, UCLM
  • TIC 98-0445-C03-01 TREND  
       María Alpuente, UPV/Mario Rodríguez-Artalejo, UCM/Ernesto Pimentel, UMA
  • TIC 95-0433-C03-03 CPD (CPD'98 Meeting)
       Mario Rodríguez-Artalejo, UCM/María Alpuente, UPV/Ernesto Pimentel, UMA
  • TIC 92-0793-C02-02 PDR
       Mario Rodríguez-Artalejo, UMA/María Alpuente, UPV
  • TIC 91-0425 PROTESIS
       Isidro Ramos, UPV
  • TIC 88-0572 SINTESIS
       Isidro Ramos, UPV
  • Generalitat Valenciana

  • LOGICEXTREME: Tecnología Lógica y Software Seguro (M. Alpuente, UPV) - PROMETEO/2011/052, Grupos 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)
     

  • ELP GPLIS DSIC UPV