The ELP Group

Extensions of Logic Programming

  • Home
  • Members
  • Projects
  • Papers
  • Software
  • News
  • Contact
Excellence Group PROMETEO/2011/052, PROMETEO-II/2015/013 and PROMETEO/2019/098

Participation of the ELP group in Research Projects

(from 2021 on, see here: VRAIN projects)

Recent Projects:

  • Formal Analysis and Verification of Post-Quantum Cryptographic Protocols PCI2020-120708-2 (2021-2024)

    Kazuhiro Ogata; Japan Advanced Institute of Science and Technology | Santiago Escobar; VRAIN-UPV

  • European Research Network on Formal Proofs (EuroProof Net) CA20111 (2021-2025)

    Frédéric Blanqui; Japan Advanced Institute of Science and Technology | Alicia Villanueva; VRAIN-UPV

  • TAILOR (Foundations of Trustworthy AI - Integrating Reasoning, Learning and Optimization) ICT-48 H2020-RIA-952215 (2020-2023)

    Fredrik Heintz; U. Linkoping | Vicent Botti; VRAIN-UPV

  • 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-0286 (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/2019/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

Copyright © 2020 ELP Group


VRAIN : GPLIS : DSIC : UPV