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

Participation of the CLIP group in Projects


Ongoing Research Projects:


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

  • SpaRCIM (January 1, 2010 - December 31, 2012) [MICINN 2009-07495-E/TIN Special action / EU]
    "Spanish Research Consortium for Informatics and Mathematics"
  • ERCIM, and ERCIM Working Group on Constraints
  • NESSI [EU IST] "Networked European Software and Services Initiative"
  • INES [MITYC] "Spanish platform in Software and Services"
  • The School of Computer Science has several current agreements at the institutional level with other European universities for exchanges under the EU PEOPLE program.

Completed Projects:

  • 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) [CAM 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: