CLIP group participation in R&D Projects

Ongoing Research Projects:

• HATS (March 1, 2009 - February 28, 2013) [EU IST FET Programme. Integrated Project. Grant agreement #231620 ]
  "Highly Adaptable and Trustworthy Software using Formal Methods"
  
• DOVES (January 1, 2009 - December 31, 2013) [MICINN 2008-05624/TIN]
  "Development Of Verifiable and Efficient Software"
  (Desarrollo de Software Verificable y Eficiente)
• SCUBE (March 1, 2008 - February 29, 2012) [EU Network of Excellence of the Software and Services Architectures objective of the Information & Communication and Technologies programme, Project number 215483]
  "The European Network on Software and Services"
• PROMETIDOS-CM (Jan. 2010 - Dec. 2013) [CAM 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)

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 Programme, 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 Programme. 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 programme, 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 Programme 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 Programme 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 Programme 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).