Projects funded by the Spanish Ministry of Science and Education:

• SweetLogics
• LogicTools - II
• LogicTools - I

European projects:

• ICARUS (ESPRIT)
  
• COMPASS (ESPRIT WG)
  
• CCL (ESPRIT WG)
  
• Medicis (Human Capital and Mobility Network)
  
• Console (Human Capital and Mobility Network)