binary options futures trading brokers

LOGPROG:: Projects
   LOGPROG: Logics and Programming
 Sections
  Homepage
  People
  Research
  Publications
  Awards
  Projects
  Contact
 Projects

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)