The ELP Group

Recent Projects:

• Paradigms of Artificial General Intelligence and Their Associated Risks (US Elon Musk grant through the Future of Life Institute) (2018-2021)
  
  José Hernández-Orallo; UPV | Seán Ó hÉigeartaigh; U. Cambridge


• Advanced symbolic methods for the cryptographic protocol analyzer Maude-NPA AFOSR (Air Force Office of Scientific Research, US) FA9550-17-1-0266 (2017-2019)
  
  Santiago Escobar; UPV


• Who's behind these predictions? Reconciling transparency and privacy in machine learning AFOSR (Air Force Office of Scientific Research, US) FA9550-17-1-0287 (2017-2019)
  
  María José Ramírez; UPV


• CHIST-ERA, REFRAME (2012-2017)
  
  José Hernández-Orallo; UPV | Peter Flach (coordinator); U. Bristol | Nicolas Lachiche; U. Strasbourg


• PROMETEO/2015/098 DeepTrust: Deep Logic Technology for Software Trustworthiness
  (Excellence Research Group GV, 2019-2022)
  
  María Alpuente


• RTI2018- 094403-B-C32, FreeTech
  Elvira Albert; UCM | Santiago Escobar; UPV | Albert Rubio; UPC


• PROMETEOII/2015/013 SmartLogic: Logic Technologies for Software Security and Performance
  (Excellence Research Group GV, 2015-2018)
  
  María Alpuente


• TIN 2015-69175-C4-1-R, LOBASS
  
  Santiago Escobar; UPV | Elvira Albert; UCM | Albert Rubio; UPC


• TIN 2013-45732-C04-01, DAMAS
  
  Santiago Escobar; UPV | Albert Rubio; UPC | Ginés Moreno; UCLM | Pedro Meseguer; IIIA


• SPARCIM, Spanish Research Consortium for Informatics and Mathematics (part of ERCIM)
  
  María Alpuente; UPV
  

Past Projects:

International projects

• IST-FET: Network of Excellence in Computational Logic CoLogNET

• 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

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

• 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

• EU-India  Economic Cross-Cultural Programme
  

  ALA/95/23/2003/077-054 ICT for EU-India Cross-Cultural Dissemination (Slides Final Conference)

  U. DEGLI STUDI DI UDINE (I) - Furio Honsell | Stefano Rovetta; U. degli Studi di Genoa

  María Alpuente; Technical U. Valencia UPV

  B.G. Sidharth; B.M Birla SC, Hyderabad, India

Binational projects

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

National Projects (Spanish Research Funding Agency)

• TIN 2010-21062-C02, SweetLogics
  
  Albert Rubio; UPC | Salvador Lucas; UPV
  


• EXPLORA TIN2009-06078-E/TIN, Anytime Universal Intelligence
  
  José Hernández-Orallo; UPV
  


• TIN 2007-68093-C02 TechnoLogics
  
  Albert 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

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