Links

Program Analysis:
Research groups
  • FADoSS - Formal Analysis and Design of Software Systems (UCM)
  • GPD - Declarative programming group (UCM)
  • CLIP - Computational Logic, Languages, Implementation and Parallelism (UPM)
  • DS - Digital Security group (RU Nijmegen)
Programming:
Past events:
  • TFP 2011 - 12th International Symposium on Trends in Functional Programming. Facebook
  • FOPARA 2011 - 2nd International Workshop on Foundational and Practical Aspects of Resource Analysis
Other: