Participation of the ELP group in Projects

Current (and Recent) Projects

DEUKS: Doctoral School towards European Knowledge Society

CD_JEP-41099-2006 (RS): 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

Internazionalizzazione del sistema universitario

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

AML/19.0902/97/0666/II-0472-FA: European Comission ALFA (Latin America Academic Training) Programme

EU-India Economic Cross-Cultural Programme

ALA/95/23/2003/077-054 ICT for EU-India Cross-Cultural Dissemination

       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

HI2000-0161: Ambienti per la programmazione integrata di Sistemi Reattivi

María Alpuente Technical U. Valencia UPV
Moreno Falaschi U. Udine

Deutsch & Spanish Sc Research Councils Acciones Integradas Hispano-Alemanas

HA1997-0073: Analysis and Transformation of Curry Programs

María Alpuente Technical U. Valencia UPV
Michael Hanus RWTH U. Aachen

HA2001-0059: Debugging Techniques for Multi-Paradigm Declarative Programs
Germán Vidal Technical U. Valencia UPV
Michael Hanus U. Kiel
HA 2006-0007: Analyzing termination of programs: from theory to practice

Salvador Lucas Technical U. Valencia UPV
Jürgen Giesl RWTH U. Aachen

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

IST-FET Network of Excellence

Computational Logic CoLogNET

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)