CLIP Lab
The Computational logic, Languages, Implementation, and Parallelism Laboratory

CLIP group participation in R&D Projects


Ongoing Research Projects:

  • ProCode (June 1, 2020 - May 31, 2025) [MCIU PID2019-108528RB-C21]
    "Rigorous Methods for the Development of Software Systems with Certified Quality and Reliability"
    (Métodos Rigurosos para el Desarrollo de Sistemas Software de Calidad y Fiabilidad Certificadas)
  • PRODIGY (Dec 1, 2022 - Nov 30, 2024) [MCIU TED2021-132464B-I00]
    "Ensuring the Security, Scalability, and Functionality of Digital Provenance Systems"
    (Asegurando la Seguridad, Escalabilidad y Funcionalidad de los Sistemas Digitales de Procedencia)
  • Nomadic Labs - Tezos (Oct 30, 2020 - Dec 31, 2024)
    "Cost Analysis, Verification, and Optimization for Tezos via Parametric Resource Analysis"
    (Análisis, Verificación y Optimización para Tezos por Medio de Aná&lisis Parmétrico de Recursos)

Ongoing Research and Training Networks, Support Actions, Working Groups, etc.:


Completed Projects:

  • BLOQUES-CM (October 1, 2019 - December 31, 2022) [CM P2018/TCS-4339]
    "Madrid Program in Intelligent Contracts and Safe and Scalable Blockchains through Verification and Analysis"
    (Programa en Contratos Inteligentes y Blockchains Escalables y Seguros mediante Verificación y Análisis de la Comunidad de Madrid)
  • TRACES (January 1, 2016 - December 31, 2020) [MINECO TIN2015-67522-C3-1-R]
    "Technologies and tools for Resource-Aware, Correct, Efficient Software"
    (Tecnologías y Herramientas para el Desarrollo de Software Consciente de los Recursos, Correcto y Eficiente)
  • N-GREENS Software (October 1, 2014 - December 31, 2018) [CM S2013/ICE-2731]
    "Madrid Program in Rigorous Methods for the Development of Software"
    (Programa en métodos rigurosos para el desarrollo de software de la Comunidad de Madrid)
  • StrongSoft (January 1, 2013 - June 30, 2017) [MINECO TIN2012-39391-C04-03]
    "Sound Technologies for Reliable, Open, New Generation Software"
    (Tecnologias Rigurosas para Software de Nueva Generacion, Abierto y Fiable)
  • POLCA (September 1, 2013 - August 31, 2016) [EU IST Project GA#610686]
    "Programming Large-Scale Heterogeneous Infrastructures"
  • ENTRA (October 1, 2012 - January 1, 2016) [EU IST FET MINECC Proactive Program. Project #318337]
    "Whole-Systems Energy Transparency"
  • TACLe (November 7, 2012 - November 6, 2016) [EU ICT COST Action IC1202]
    "Timing Analysis on Code Level"
  • SpaRCIM (January 1, 2010 - June 30, 2014) [MICINN 2009-07495-E/TIN Special action / EU]
    "Spanish Research Consortium for Informatics and Mathematics"
    ERCIM, and ERCIM Working Group on Constraints. ERCIM ABCDE program.
  • PROMETIDOS-CM (January 1, 2010 - June 30, 2014) [CM S2009TIC-1465]
    "Madrid Program in Rigorous Methods for the Development of Software"
    (Programa en métodos rigurosos para el desarrollo de software de la Comunidad de Madrid)
  • DOVES (January 1, 2009 - December 31, 2014) [MICINN 2008-05624/TIN]
    "Development Of Verifiable and Efficient Software"
    (Desarrollo de Software Verificable y Eficiente)
  • 4Caast (June 1, 2010 - August 31, 2013) [EU IST Project GA#258862]
    "Building the PaaS Cloud of the Future"
  • HATS (March 1, 2009 - February 28, 2013) [EU IST FET Program. Integrated Project #231620]
    "Highly Adaptable and Trustworthy Software using Formal Methods"
  • SCUBE (March 1, 2008 - February 29, 2012) [EU Network of Excellence of the Software and Services Architectures objective of the Information & Communication and Technologies program, Project number 215483]
    "The European Network on Software and Services"
  • ES_PASS (Sep. 1, 2007 - Nov. 31, 2009) [EU ITEA2 cluster of EUREKA Program, Project number 06042, Spanish PROFIT grant FIT-340005-2007-14]
    "Embedded Software Product-based ASSurance"
  • MOBIUS (Sep. 1, 2005 - Aug 31, 2009) [EU IST FET Program. Integrated Project IST-15905]
    "Mobility, Ubiquity, and Security"
  • MERIT / COMVERS (Oct. 2005 - Jun. 2009) [MEC TIN2005-09207-C03-01]
    "Resource-Aware and Verifiable Mobile Computing"
    (Computación móvil verificable y consciente de los recursos)
  • PROMESAS (Jan. 2006 - Dec. 2009) [CM S-0505/TIC/0407]
    "Methods for the development of high-quality, safe, and reliable software"
    (Programa en metodos para el desarrollo de software fiable, de alta calidad y seguro)
  • GGCC (June 2006 - Dec 2008) [EU ITEA cluster of the EUREKA program, Spanish PROFIT grant FIT-350400-2006-44]
    "Global GNU Compiler Collection"
  • AGENTLINK I/II/III (1998 - 2007) [FET Network of Excellence P 27225]
    "The Agent-Based Computing Network"
  • GridCoord (July 1, 2004 - July 1, 2006) [EU IST Program Project IST-2004-511618]
    "ERA Pilot on a co-ordinated Europe-wide initiative in Grid Research"
  • CUBICO (Dec. 2002 - Dec. 2005) [MCYT TIC 2002-0055]
    "Optimized Compilation Techniques for Ubiquitous Computation"
    (Computación UBIcua mediante técnicas de Compilación Optimizante).
  • ASAP (November 1, 2002 - January 31, 2006) [EU IST FET Program Project Number IST-2001-38059]
    "Advanced Specialization and Analysis for Pervasive Systems"
    In collaboration with the Universities of Bristol (UK), Roskilde (Denmark), and Southampton (UK).
  • CoLogNet (1 Jan 2002 - 31 June 2005) [EU IST FET Network of Excellence IST-2001-33123]
    "The EU Network of Excellence in Computational Logic"
  • AMOS (1 March 2002 - 31 May 2004) [EU IST Program Project Number IST-2001-34717]
    "Automated Matching of Open Source code"
    (Localización automática de código abierto)
    In collaboration with CONECTA (Italy).
  • ADELA (January 2001 - March 2003). [Acción Integrada MCYT HI2000-0043]
    "Advanced Development Environments for Logic Programs".
    (Entornos Avanzados de Desarrollo de Programas Lógicos).
    In collaboration with the Universities of Parma and Pisa (Italy).
  • EDIPIA (Dec. 1999 - Dec. 2002) [MCYT TIC 99-1151]
    "An Integrated Program Development Environment based on Abstract Interpretation"
    (Entorno de Desarrollo Integrado de Programas basado en la Interpretación Abstracta).
  • POCIMA (Nov. 2000 - May. 2001) [Funded by Motorola Inc.]
    "Porting Ciao to Mac OS X"
    (Adaptación de Ciao al sistema operativo Mac OS X).
  • eBroker (Nov. 2000 - Jun. 2001) [Funded by Ibermática]
    "Servicios de Brokering Electrónico para Infraestructuras de Comercio Abiertas"
  • RadioWeb (Jan. 1998 - Mar. 2000/2001) [ESPRIT EP 25562 / CICYT TIC98-1531-CE]
    "Automatic Generation of Web Sites for the Radio Broadcasting Industry"
  • COMPULOG NET I/II/III (1991 - 2001) [ESPRIT Network of Excellence P 7230/22554]
    "The Computational Logic Network"
  • ECCOSIC (Mar. 1998 - Feb. 1999) [Fulbright U.S.-Spain Science and Technology Exchange Program]
    "Efficient Concurrent Constraint Framework for Symbolic and Internet/WWW Computing"
  • DiSCiPl (Nov. 1996 - Jun. 1999) [ESPRIT LTR 22532 / CICYT TIC97-1640-CE]
    "Debugging Systems for Constraint Programming"
  • ELLA (Jun. 1996 - Jun. 1999) [CICYT TIC 96-1012-C02-01]
    "Extensions to Logic Languages for Advanced Applications"
    (Extensiones de los Lenguajes Lógicos para Aplicaciones Avanzadas).
  • ExperNet (Jan. 1997 - Jul. 1999) [INCO (International Cooperation) CP96-0114]
    "A Distributed Expert System for the Management of a National Network"
  • VOCAL (Nov. 1996 - Apr. 1998) [ESPRIT P 23182]
    "Validation Of Constraint programming through an Application in Logistics"
  • ABILE (Jan. 1995 - Dec. 1997) [HCM/TMR CHRX-CT94-0624]
    "Abstract Interpretation for Declarative Languages "
  • ParForce (Aug. 1992 - Jan. 1996) [ESPRIT BR 6707 / TIC93-0976-CE]
    "Parallel Formal Computing Environment"
  • IPL-D (Jun. 1993 - Jun. 1996) [CICYT TIC 93-0737-C02-01]
    "Parallel Implementation of Declarative Languages"
  • ACCLAIM (Sep. 1992 - Aug. 1995) [ESPRIT BR 7195 / TIC93-0975-CE]
    "Advanced Concurrent Constraint Languages: Application, Implementation, and Methodology"
  • PRINCE (Sep. 1990 - Jan. 1995) [ESPRIT P 5264 / TIC91-0106-CE/94-1516-CE]
    "PRolog Integrated with Constraints and Environment for industrial and financial applications."
  • PEPMA (Jan. 1989 - Dec. 1991) [ESPRIT P 2471 / TIC90-1105-CE/92-1178-E]
    "Parallel Execution of Prolog on Multiprocessor Architectures"
  • Other: