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.:

• We participate through the IMDEA Software Institute in several programs funding Intern, PhD student, and PostDoc positions.
• We participate in Informatics Europe and in the and the EIT Digital Madrid node.
• We participate in NESSI [EU IST] "Networked European Software and Services Initiative".
• We also have through the School of Computer Science several active agreements at the institutional level with other European universities for students visits and exchanges.

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:
  • Declarative Systems (Jun. 1994 - Jun. 1996) [Erasmus ICP-94-NL-4040/11]
  • ERCIM HCM/TMR network (through AEDIMA).