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

CLIP group participation in R&D Projects


Ongoing Research Projects:

  • TRACES (January 1, 2016 - June 30, 2019) [MINECO TIN2015-67522-C3-1-R]
    "Technologies and tools for Resource-Aware, Correct, Efficient Software"
    (Tecnologias 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 metodos rigurosos para el desarrollo de software de la Comunidad de Madrid)

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

  • We participate in Informatics Europe and the EIT Digital Madrid node.
  • We participate through the IMDEA Software Institute in several programs funding Intern, PhD, and PostDoc positions.
  • We participate in NESSI [EU IST] "Networked European Software and Services Initiative"
    and INES [MITYC] "Spanish platform in Software and Services"
  • The School of Computer Science has several active agreements at the institutional level with other European universities for exchanges under the EU PEOPLE program.

Completed Projects:

  • 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 metodos 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: