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)