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)
  • Eden- Parallel Functional 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
  • IFL 2002 - 14th International Workshop on the Implementation of Functional Languages