- 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)
- TFP 2011 - 12th International Symposium on Trends in Functional Programming.
- FOPARA 2011 - 2nd International Workshop on Foundational and Practical Aspects of Resource Analysis